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

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.1-2build2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13)
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-smtlib-dev deb haskell optional arch=any
 libghc-smtlib-doc deb doc optional arch=all
 libghc-smtlib-prof deb haskell optional arch=any
Checksums-Sha1:
 67bb83d1a492ead3c3baebdc2899c3ef2bce2e85 9667 haskell-smtlib_1.1.orig.tar.gz
 57e89650f67272d90def2a51d117ada964a6120a 2636 haskell-smtlib_1.1-2build2.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 86cef9ab04473a7aeb83434f93de85986077c99b8e6c8fab2d4ef1aab130cbb5 2636 haskell-smtlib_1.1-2build2.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 b5ea22d150ccd47e810bbb91ca29dc84 2636 haskell-smtlib_1.1-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOTNkcACgkQ808JdE6f
XdkWFQ//T0UUqA4m2n5zg/YXaw4wj2HKVTMdy5U+H3DHuLCqxY600DC/tNnfzWqK
S0frhqiQ/bFnouYPFP63vCYeVw2gBbcAfyLbdHYLmR+btbmE+RKzq1Xi00sLl7jR
yPyOwnIGMPfodeEvhGzeBtVOseRQQa3n9MznRATJk+jdGtyMgeRS+QPbGaPE7lU/
HTZQ2F+FOAMXa9GK2wg7EYVSFaykPXImZHRHoPoLylgYN8Wq7Z7PsN+7n58ZywyC
gvLNFnh7lZDTQQnTCRDkXUHDwexRPCbgbxidcslbLRog87tq+7Epx3MGoVGf+fsB
HR2o6ssc+hvcV5IVdXoyhXa3a5Hfu1dLkzK1loRC1daotWLrJ4WUkoDQgO8kM3L+
5Xo0/hy3C+iOZcfxOIroK7OngYJRTq3xvkl0k0Vy2k5VgVZeE/jO7ReemWhfVVxX
XkzTYe0EKSw1csH5nuExbH8Kglf+Mp41U3eX1P1ES+IsjQUPxMNYlxzauaoIBfbs
Duo/kAyKKv6UjdgdmEHxPgEl6yAIvq0ONExlZydTDcmBaLd4m6R2nmndsA9CavhM
vCpB3i0qFUFaba/zlJ3o1Ql05smxeM6tqbxo/3vozRqfshF9o4C39ZywUpaL3mHd
bggs0JIvFZeU6geDEyxIFoNxhPOZFjJdsqWLF6tMdWMeBsM8piY=
=6vxx
-----END PGP SIGNATURE-----