-----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-5build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
Standards-Version: 4.6.2
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
 5e2f498498857cb4831889403f222a53215dc87f 2316 haskell-microspec_0.2.1.3-5build1.debian.tar.xz
Checksums-Sha256:
 8bf530a4bce642431014d5395e4c8ab412bed44fe6caa6c2e1239ea9577b2518 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 ebc374e21c8cbf57752ecbdf5958c072cd2c6f978f3983a4056928da026f16cd 2316 haskell-microspec_0.2.1.3-5build1.debian.tar.xz
Files:
 ade4843b8f66a9b77e2c681443a6500b 5693 haskell-microspec_0.2.1.3.orig.tar.gz
 e8be96e0a45b0f30c6ae6955bed28e7b 2316 haskell-microspec_0.2.1.3-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEfNYACgkQ808JdE6f
XdmJkBAAvOZLqItSFyBXEwr5RvL0N2fgBdHUxbidMHfaWfhOAAKvdOqOth2xjiA4
WyanJJIuI7y9iN9mN8Ex+rdVWCZDMAqWgNaxlfgZmZUz3xyZuwNMNuXsaGAXmoQc
klCfOFqTVM7KA3u4L2NuEcVAQfJxgoz2i0LONl0l+uC1a+IxY/f7vKc39dq9/Gdi
K2tMYhB/XSdObnm+yJt61ryQMsOIC0wCWujwXvmwWa8yqohZf8gEyX+5WaovX5Ox
ddmCZGPfy1eqnB55U+9aIqnLJTowK+xw3S88P8/SRUQ7HYH+deTcZuCtsQ1QdtJo
diaU5N2yegehmFCr3uCwdegbDHFeVxuM0kRq2NR/6QBLF7FD954IayXgywzPomRs
dwIrSRcx6RUPhFIN/23XJQox2crZH3W6ZVN95h0DA0rpyjEvpkmvKcyx/oo6CXFy
T+gAtSwlEDKXqiyrjouy45tGnJH2Uu6DWRQvDBRyE9JKnuYUkYTNRTa0Y3HvVBXk
Ux4RD32Y3uPVr5T8Qpsu15ch2bmAZTrLWS24OWsYx/LFUul5IlmFUQM6X+BOcNNk
MbfWVw7vbNaT20nPQxDxvofmrywNmESxoJoh35UswAkANyfVBGNuGaFgp+9v0o68
ZPVwbXix482oLnsvQoJQy86RleXE68pAn54FMBDs7QRcfKW2PCU=
=00rv
-----END PGP SIGNATURE-----