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