-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.1-2
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
 86335c583731cdc5ded164f30a83950acbd2bd6e 2556 haskell-smtlib_1.1-2.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 82b0e206d669ade1baaf469a7e9ea588fbccad911e0567fc9549875b869e9d33 2556 haskell-smtlib_1.1-2.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 af74512d36812ff92d02d590f5b2a9b5 2556 haskell-smtlib_1.1-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmK8moQUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDymow//eCjJcql6fwQs9WJbFvER3AlmWUi4
tTfYnvwmr4uLAWPDS2N7uZs+sRZyOTmGdg1EPvfURfo889TPrdbNIBhEpuRrgSZN
VOcrsc/p4IOFfVilyNl8owZeGDYIG5pN/JEbGyBZWIICojhwj3JjskUXyE6yvzUY
2AAMXZwP7+3cG99hTJaE19nHJ9bYEM2YpwJ1GPYI+WzmwPBS1b9tW+qQByrnqTLU
7UTMtkYoIZyiLgTas/bd93bJqENrKmJsgCfv+rqrAFpX1kqtPQZ0yDkjDUP78uQg
Ll2F6VVlv0dnG0G+MJ2VvWnr79JwMaT8WGj4P6pu9lEEgjM5XLMFKFqiKrMudzGZ
WaiKzwYIR1O7eCQtuUvWcWhKVnT5aSyw5shKh+ak6fSCsHKHPtd5orIivSD44bmG
vvl2Tg9SezKTudAR+/pW8juKoz32IZ+SiOI2InPplhPU1n2TVbm9s2ijpCHWPbmx
6NvUj/a+DuN0ct7fenTLi/JsX606n3Z7E+VnFpFxF2BDJGwnkwqhzZypwLsGCIBI
icdyv4V6JrPv+bj5zZbI9ATPHu+cssrKfhQLM59KA//hso0k/LBEk2AZ7qoRlfHr
SELl+CPm/4fR4q7njSBlZVkGnI2AOtB6ZhRDJkW77J+Wl/0cE3bH1VBKUUofkSu6
+tsw/RwJcdPtHjU=
=NpMY
-----END PGP SIGNATURE-----