-----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-2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
Standards-Version: 4.4.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
 faa654e11428a46b1e29f6f5dc81e1506ba6484c 2124 haskell-microspec_0.2.1.3-2.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 be92b9d261e21dd9fa00c902f4e58d6357f9aa1f65dbcce85aeb13982180f6d8 2124 haskell-microspec_0.2.1.3-2.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 5468b9a5029c33750447e6576c40ff20 2124 haskell-microspec_0.2.1.3-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl24MzoUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDy+ixAAxEPUNJkIDs+IGCVtl69A0jDDIMSI
3NOle1/3qgV1HwJxUd+pHmP8QIv3ed78FT4lEq/QCHV9hOxRqe4UhacXAaYz/751
xV+F7NnYkQLUUZPyQkRQlhPRL2V9kz+O3T2V7q8ezVKowfwa+06AOeAwywXrZmWQ
xMzyMnZbJW5zLYtVUmNGoWdlX3ERfbS0n8UbMXc5D4PXEUu42dFXtm1T7/tPk7Mq
Vek8mBEwtFmUg3N/wiRN+k+/34d9jrQ7f3DjIoc3Y/0tqqWeLhlmeJdMsa/eIOHn
B3geaUjcU/RyWxEcmXJ/sIEmkfR8LZNOSrEH3dIMeuQN4XENMcsuqLaBsWeaHxMs
LACv6PxAEpd41U7f1djUKOhyK8qflzcrXE0GWOwmHKcL79OQVlLd5Upysxo7Gkd6
ynFGqNBePpl7uXvtndA+gIGzju8q1p8ZjgVo8KlQQNco1q3e4W2JxDx7V+HBLZeF
/soDxMwOB/5/jdhgAWQXIEiEFCLbBw0e8oXtOlZcvvT18KiK1bUH/Ib1LCWs4saI
jGrdxe9Warny+8aovULNPvEE6yDLGDvzBuHweRYDLrv2UTZxkvfLjivy7u6uDbMv
ReBWLvDmFu3JmMfwSTZh7QV05i/W19vkaFc9bVyjMKXiS+8ltv3jib7FW8Wa8nlg
eoku20FyJuP93k4=
=EV7T
-----END PGP SIGNATURE-----