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

Format: 3.0 (quilt)
Source: haskell-microspec
Binary: libghc-microspec-dev, libghc-microspec-prof, libghc-microspec-doc
Architecture: any all
Version: 0.2.1.3-6
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
Standards-Version: 4.7.0
Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof
Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc
Package-List:
 libghc-microspec-dev deb haskell optional arch=any
 libghc-microspec-doc deb doc optional arch=all
 libghc-microspec-prof deb haskell optional arch=any
Checksums-Sha1:
 7fd471528bba6ee7c5eb390cb063809f676f4adb 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 f936906c4b406467a3b9922db478819b307964c7 2276 haskell-microspec_0.2.1.3-6.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 2d7a9d2a425be7928c8b4ec0b61639858b549f4f0beb9ce0e495c34bf7f3b87f 2276 haskell-microspec_0.2.1.3-6.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 9c3991db5bfc10f1d317f883fc51541c 2276 haskell-microspec_0.2.1.3-6.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbr+KgUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDxScBAAtXnR14XAMYvgcdObad2U1ioRCH9c
0lr+6CFufrufPn03s5xtDPUw1Yo9wHCmUUU6NWqo89X8pmy6W31Cg884fKpvlRfJ
MGnHkB7gVo32n9NyE1rGG7dd8L+GbXQZZtej2lwj6hV2M4WngfhOYpTVboy1AjMu
aaxpxIS1JnrqtQH8dthX7IJCX5DgujiUinpNkOSgXraXzqvno6DPLd8vlda6Zlxu
7vNAml/OPwhzWo2qBm9f8TVoMH6wez5EcAG22pf3YuajEmQeBKuxPDs2GQTup+xe
H6MDGqNjcUiy1zVdWVkDD/I9XBzXM2fI0IzwL9fTOFb+ngfoDcfItu6kvkY0aTWE
6fDBFJp8FRipNvTgy79e2CLUeVZh6OsI73iP6SATwDmzKVUXxQERve0GWABwEBnU
CB8lWMwvIOc6HGT1Izb3rTcr7zCfDHuHK1UY7gJ2P1u0y/Ws3q/MhMBBwOJhvbgz
QXAQPpxVbaqliFrn5/9RAnhlc7o2aXE9ibfycZOmcxZZQ/oISDrc9CBj9kGrwtC6
RM0jL3KQb/35SnwY6Z57veTFb3sjC9HeISnXK5vnbOqj6LnH1qDBh1Vfg6mLQBrf
Mmyu9CbptLMl5SlHLlUtj2jAYyfg2OhNjp+3d/FFqg7QQQKYvhrU/tTzD4BIaKlX
c2kOU1iEuQQZDkU=
=RjNd
-----END PGP SIGNATURE-----