-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-1build1
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
 2199588b9b5d1fbe40145670ab4d819db5976105 2140 haskell-microspec_0.2.1.3-1build1.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 8b0d39c9043ea9d267262e47b8003efcf9ac07d7bb6ed97e2a985f0255933cac 2140 haskell-microspec_0.2.1.3-1build1.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 8553ed7efe8859bc3499cbdb33808dd4 2140 haskell-microspec_0.2.1.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1GCDcACgkQ808JdE6f
XdlAHw//dt6TvtVNXDGCgicSHY2sGzUK6wQGmIVvsVKPAFZA0IBW46hfiZd9RLHq
6DPu9EiWNn5liC3iLeXPT0303OmKAF6pxDOFl6kSeLHWE7UZiatx5VyPsjmxDy4M
IEMpOM11LQ/T1O+ooSRRUI/ijtyGRXMHb3BN7Vh5tXs1XLgxpQGI6oRqwOvZ8Rce
9Pxbc0Sg92bL9jmQ6pv6YWys9aplOjgr3rlUf/PEh/4raYZNR04ZuDJf87v+gEEp
xKSFCzEq/5fAHM+I87pQHPvc5OBuD3Fzns7/s6YfBPrYHILaSLHP1H+dZFF+ZRms
mPYI9G+sBMlmx/lQ23ldBpl4cnjZrFRehgd7fnvwq1oEehvOuK4GiiNnQHnc7c8M
eP84KkNYLOGYGyA+YSeJatJQsD2ut30hlKd0HpHycbU+4JiQxKmkJuRczus08yWm
QTX4MOjbQRTNqyP2bktYWOdDatQVkwghQgNldTGU6di0hV5IkxJWrWMUxB2/+Ytv
5Wpvx24xv8WI0mnEZFTYjndOh2HNv/NGE3GR8LHqHQi1VYiD9Hdlfs9xG75IJLXX
hZ6n0ZVuaqqnIPzAJ95Ye4DWAPTYbgziUZFJ4KWhrfBlU4yf6mbM+1ERrvMLFzNw
V9mmtNtnl/y0lO1zBYbhj4BhrqfTwbWthGVttkq1P15BIC5KkD8=
=rEvd
-----END PGP SIGNATURE-----