[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted haskell-sbv 7.12-2 (source) into unstable



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

Format: 1.8
Date: Mon, 01 Oct 2018 13:33:33 +0300
Source: haskell-sbv
Binary: libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc
Architecture: source
Version: 7.12-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Description:
 libghc-sbv-dev -
 libghc-sbv-doc -
 libghc-sbv-prof -
Changes:
 haskell-sbv (7.12-2) unstable; urgency=medium
 .
   * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
Checksums-Sha1:
 bb0f2e9f2f2b979a0e6665870709f4f3a1f186c8 2717 haskell-sbv_7.12-2.dsc
 971232b89e5e5850f0ef169a2e3fb8a3d01b519b 2764 haskell-sbv_7.12-2.debian.tar.xz
 034ee82a0acb65a9cc02b8c805776dfd1fccadb0 5751 haskell-sbv_7.12-2_source.buildinfo
Checksums-Sha256:
 290e6004d907b3f259b32bcf4138eca8098db2b18d0ab885a2ef3cc3cfca9ca2 2717 haskell-sbv_7.12-2.dsc
 70130705a137a34de8bc02ec2936f9f22a0a43bcfc923a4a335ab5398af9f50a 2764 haskell-sbv_7.12-2.debian.tar.xz
 2a11950ec09244b8484cd01b66abd503d39c9c3203af4b07a7d235c267b72060 5751 haskell-sbv_7.12-2_source.buildinfo
Files:
 b508ea85b57a656c6ac856f8946a4e7c 2717 haskell optional haskell-sbv_7.12-2.dsc
 da4180d62d0d3572408e2b3d3d20ed39 2764 haskell optional haskell-sbv_7.12-2.debian.tar.xz
 cff211d0ce50442257949e2d90e68c9b 5751 haskell optional haskell-sbv_7.12-2_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAluydcMUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDxq1A//W3ullPXPS+TagF8b3LWAaejw61PF
30YUtl5CrNT+8gHvwMmWZHTMUwSeJcEXny+7IKz06RL5f82RUEQWHHrDGLVX7Xxf
W+dCOPbAZlqzU8q/wD/6V4vsnbyKnzJp8mDv21l9P6+i8hMNspVeX4OuQlNmyIOV
qwFwLyOhxDr+rpZjD6QLNJCIIdi/bu/NYP59eDgF9Vz1Cm/mB3ctbGs40R9rSS2T
wAwa3zmibrUAngkbLbOUZ3c7ZpxGFKfY9ODe2+d+xxPcA8Ozdo0HS/eJ5FSrIsSL
NGciodVJJmkGlCDLXEY1bV8EWSm0Zdrv5xtJgULqolM4gUWbZZScWoMxT94rg903
Q7hAyMQvRdMuLDOXHrwXJn2A1DunYlRjWG/1XBx6VmpdPswj9j4AyJGYtySdISid
D8n477xVC4IGbbbCoED/ILPQBPmNZeks5VEm+dsYYrP/+XCKxWsAv/uP6RenoCdN
3OQc0ykDB99pbV1x/XRsgy+tNcORVdbW/rx4YpxN7QhnjyCgr+TB/q0tbjeQjn3j
FXcQBLvSQ0jHT9drIMSVPZuziEodpdyYawBlPXqd9gfNjYW8fI5Mge4W9osf7KMn
lmlLOqSFfmToz41srYaM9iwh/AI303lqKvYr6oP+JElfJY/WZSg1MR8jTrAqrd1G
WI/CicPQeVzgTHU=
=fwcO
-----END PGP SIGNATURE-----


Reply to: