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

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 17 Aug 2020 12:50:28 +0300
Source: haskell-sbv
Architecture: source
Version: 8.7-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 haskell-sbv (8.7-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 4b32858ab5e57b9598ffc7b90f9aa803ac3cf23e 2622 haskell-sbv_8.7-1.dsc
 505eb9b521fb9e5b32a6c8375dc55f92c3bdc4fd 873246 haskell-sbv_8.7.orig.tar.gz
 fa54b6ac4fb7ed97666e5e8532cfbe530777bfb1 2804 haskell-sbv_8.7-1.debian.tar.xz
 f4e79286d8fbfec9a48333a85abd68703e5236cf 5533 haskell-sbv_8.7-1_source.buildinfo
Checksums-Sha256:
 1dfb1e5bc73f974ba45e1a924c15c4103e8012e9f878723de8951596e6208f0d 2622 haskell-sbv_8.7-1.dsc
 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 873246 haskell-sbv_8.7.orig.tar.gz
 d147486526afea7361277e52f7324980aaa1c40f9aaf69f2ff457a26c632389a 2804 haskell-sbv_8.7-1.debian.tar.xz
 c4aec3a13cd1cf8d0e6a863d22530449d7a82b43eda6c33fa74bf59c00bbea57 5533 haskell-sbv_8.7-1_source.buildinfo
Files:
 ea74e5ed2498b65bbdf58cafac2e4b1c 2622 haskell optional haskell-sbv_8.7-1.dsc
 36a0369c3ab33851459ca4ca31e500f2 873246 haskell optional haskell-sbv_8.7.orig.tar.gz
 fb4a6f811887926cf4204bc5ede515c3 2804 haskell optional haskell-sbv_8.7-1.debian.tar.xz
 9177f7b7252e980c425fc618e2645e75 5533 haskell optional haskell-sbv_8.7-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl86l+QUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwa5xAAmyEHrlts5nSnFZLDO0UF/K2cYVZs
JufKgOz6nWdnio1GRPuO527sUHeFUdr3eLW9i315B4gPub4xs77QlJkGBtxnwfU/
Hi/hIbBUuJyQJYy23+QacYN9pG0Lxgzw0C9fw35JpPo6Y1kIxUUeUihXOWxHk0jg
nKxlaTDWL1a+/54GNxTTLFPX7F56asmQvjl8wbU0sfedBnH8Ycj3MPI3HbTZXs3u
U/HT/2BmQal/rZe96YMQkoXYhwKKaXd+d1IvcqdENGbT/OhiOuMrgFe90n5VAgpr
C3Qow6hIw8vysP3tiOdRJprCKKc/qbps9BGykjSdHpW+q38SAi4zvlQOoulGbhcM
die1vtEl4OtunM96IotT/gaHrMhsb+vcHqGaGqR0p/VQDy6fO7RNQsI2LQZFNIvU
5rXq9IzkZLeF1Tf1eq0h9z4N6U7UzjD4gcYKei+yvFNW0h0mtNGJwDJ5hSW4e6nZ
oyyyJ4jZrDRc9RWwiSjEUvOVaW+OoRNK4fK+rTGNiJw/SoYuTqYZRN+rPizlPUYI
whb5R6c29kjXssxUp4mxwteYEEKgofusEDZZqdokEJOj+7/qXrrR50CpNAGgNQxM
3iIvSp4nWNlAeuexUAup+yFDfhN/YHC1Q7Ske/EOC7nFDK2Vwx7+JBJgcm/pDql/
cp6iTpZWcjpZ3yU=
=WlHi
-----END PGP SIGNATURE-----