-----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-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
Standards-Version: 4.5.0
Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, 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
 d9ee55920c1620e7861b07d27251cb48e24ce2d1 2160 haskell-microspec_0.2.1.3-3.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 9dc5c88323c71fdfea052d37d7763cc87fc1bffabc32796f0d5ab26fe7ead3a4 2160 haskell-microspec_0.2.1.3-3.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 6b457548e3f7a20684cb5e3661780082 2160 haskell-microspec_0.2.1.3-3.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl7mDGUUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzB+Q//Uk+ShkAZ3RlGRQUbWBVef0xrm6vJ
t4/0bYi1zaDhq40b38gDBxh9VRHBhKNQezzWMm9uN8klzd1dxqJgg6CDbHMSj48R
ODi0c080kPVEEfAwYcS5IwxzCdkb4wWToBU7wDFsFm45U3Us0ub9SqoIOb9EQaym
RGe0VeuL4N7Z44h09JoaxG9YVGhdnae8kNM1AgKPcM1ZEbFOL+O6XrDyfL0G99kp
5nZdh3rG1rtMR9RGjcSwfGzAd2XTuKYuZJcjWWQWj0EW2S4t0lDazDVtoXUe2wbs
DJietG1iiDCPw63fpBITKbSGKqx2S2YyLAUGTw6CQcLwC6FjyhJXkVEcPLbaxMRA
XPKpRha9v6V8cdn388+hoz8TBdob+oVzuQPg/a5nPCv7zKU5242XrFs/YdNxNuKJ
FqxnZ07tPk/rgP4X38V5msTLA/Z48K1TfcwQWmplxTwjpvBMHeg+JM4gBvehzA5u
m5f8ADWUx7KJaLWuaeZtlLE6f7wmkQ1NRCM96HYt+hmvzIThMwr45wiRhTbgjcrO
9UGexTTufN4HtVvC8rDFDny9L+AtNdLu3HYtUeX0MFe96S57xPZWtcgWM2iNN6LU
WBx8u2Lzu1Yw7MSDNMPbtEISCW0T7Nt1zt6SiDpqvLei9UHKuTy6xHUnSWPgTzQs
s9UUrpIFsZRQYsE=
=XbD1
-----END PGP SIGNATURE-----