-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 29 Jul 2022 12:36:35 -0400 Source: haskell-sbv Architecture: source Version: 8.17-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Scott Talbert <swt@techie.net> Closes: 1014005 Changes: haskell-sbv (8.17-1) unstable; urgency=medium . [ Ilias Tsitsimpis ] * Declare compliance with Debian policy 4.6.1 . [ Scott Talbert ] * New upstream release (Closes: #1014005) Checksums-Sha1: b841e80ea41361a0c6f19f108bef89261ce1e4d6 2578 haskell-sbv_8.17-1.dsc 82a482b9831717c1969ec1437ebd0554f0bf9fff 951419 haskell-sbv_8.17.orig.tar.gz c644b79342681a6e945f1d291e420baee8c50d8f 2840 haskell-sbv_8.17-1.debian.tar.xz b3523aa9127bc341ea7c87d98fd487f530ba98b6 9292 haskell-sbv_8.17-1_amd64.buildinfo Checksums-Sha256: 7765c4052c7e04466b6f7930b1462d4dd961d62d31fdad6fd0c67264d89c559f 2578 haskell-sbv_8.17-1.dsc 0d76ef666eff03a30c6d110ecb6871f4c40a04f2e681bdd8c0ef46999be72d51 951419 haskell-sbv_8.17.orig.tar.gz 2e23a5b55e848bd53f5f0e9258aaaa5e18c51bf5b5f73fd3b6ff6b39b3d5e792 2840 haskell-sbv_8.17-1.debian.tar.xz fc92925c2768392e980bd394938afe6bfa2eaec470796d8d71057a87ebbe322c 9292 haskell-sbv_8.17-1_amd64.buildinfo Files: 60d2747d726667bfc25a9fb420390e1b 2578 haskell optional haskell-sbv_8.17-1.dsc 2962180b71684d55e3f02e478a069ed7 951419 haskell optional haskell-sbv_8.17.orig.tar.gz ed4673b0bcf6e1fae636f92321edfbdf 2840 haskell optional haskell-sbv_8.17-1.debian.tar.xz 7d377dda24b20c414b0f06290a9f36d1 9292 haskell optional haskell-sbv_8.17-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmLkFsAPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiPu8P/3L+S31u/Wvw4OVQ5xm3aGfZeEP8bjr8tv63 ZFc9FN6ISf3eDMS5gTjZ+skPTxLuv2lX+FNevALjSIWnhViCo/Awe0jgZPvV9k52 GUTNZTU2lq3LTcHHex8vjlOQqgl/AB36+ZWcg7VC1QRYQIrPHF7JqL884ear+l7u yh6dxrzL9xOVpbMXkeMFy/IenrKhn7WZ8CsYbxvDMpOIHmwbtaeE41ASZzLaJuBd wT5GNylvvxCfRGSuupOVtyGFiKB9PahIgYCWCJ1sKZDvO8Q51kzK54YkYXYpPs/f BaaFK1WkIenknDlhnKzhxJQC70ZoeKE+7S6PZ0LDIFXDeaEfQ4uRO4CRcUxKcrBF +Mpe9WhsMdZsaLdq3hOElPJmzvjBKPw+/orL7VX12ae4TbhASy+4dOKOIq6B1iHv vuUvjn9YNmTCm5fZAtnDm0dP7v38aL6oP1FPgruksOE+Yv3frd1TxOHVS2nNqfhE 6qFNVNLWVYHYEw++9PFtQHVsDFlsZ7Ks0UCyb7/wHvEFClz+oAZPZl+qODmN0/20 jTVCY1vn8U2kd1TEr0LK0vdIzftPRqSTneCwLxU7IYBGwx4wL1EVmaOCkv70RGH8 5NEoHEQooN0vS0k3FSjRk3aijcNPAaay5GzG96t72mu1PbOj4s9KbonY2mgDwLga ealGrFpj =rp2B -----END PGP SIGNATURE-----