Back to haskell-sbv PTS page

Accepted haskell-sbv 8.17-1 (source) into unstable



-----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-----