-----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-1
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
 ad0879d54045be4f4fdcb2a5cd5299068ecf3e2f 2056 haskell-microspec_0.2.1.3-1.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 e279a5e41237c4fcfee9ae596f1e34b37ec651fb02ae02d0928ede39e02bbb57 2056 haskell-microspec_0.2.1.3-1.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 7dfddf94da76c75c78c5aa08c61a4d3e 2056 haskell-microspec_0.2.1.3-1.debian.tar.xz

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

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAl1CHBYRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKhnBRAAjwgaTNZt7gV6lGm6pHzy9B0VF2tRZa7u
W0N1hXxv84foJpRsBJzyfosxzHbfIeo4IZA73Jy9ROgBUVI6Nr3waY6a91sV+NlS
MOd8dMrZAiU+wBfVV52buOJYrzRS7tU8EtVOzgYD5wHTk6nWPE2/K8pAUKXbRQW0
4nkfqOEA4PEwOxpbXu9lTyXGQVJ8xWNCy4vrRA9b3WatzK9JH6wC+rwljV8X75kH
buOf6DHKf4EKLJrPY7N44OgNqWgCjvhUK8rNrcDE/mYxVZPsbkhSOBbWYfeNMWxB
WypPHAMV5tnTRAHl35EAov0Ft1k6H2hBXZmGyR8s0WqtcPiCAzjTmxqM3CIcNgvf
iOCH0Wly32URpvlraqCubtwfdAaafY6nB6R631H9f034cQu2BkRL9QhOVcbou+zg
HiM+3E2ek3yWAAiJQPJ2+E7AC9gmCM4Iiahsv9GuASmljUJErNa29WCUcyph26gD
GslDzepPJEyKvhUO44LZbK7cR+WbhXWnpGPOtV+PkQ02Uw7vPDut9IvtCxJimtw/
lBCa4vq5zCaJvvSrdOU93+hMU/brqVzQIpMOOZHbi8lgLs7U/enabZilIMa6m2KY
xFJuKPk7HMfgTZCJ5WspT3fZ7eljZGT8Jf6145HTQyV+8OiWRmojdXL5ZEZ3igzQ
aQMNGmRYU50=
=38ea
-----END PGP SIGNATURE-----