-----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.0.9-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 4.1.4
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 (>= 9), 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:
 7a4f3338b2c69642f0c7a38c27666e94974b4506 9583 haskell-smtlib_1.0.9.orig.tar.gz
 8d057491c80121938dbfe95da9f939d354c63263 2444 haskell-smtlib_1.0.9-1.debian.tar.xz
Checksums-Sha256:
 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6 9583 haskell-smtlib_1.0.9.orig.tar.gz
 b4d16625668b8f4552ab9c2a1ce4380c13c2b614938019fb2f6a7627987938cf 2444 haskell-smtlib_1.0.9-1.debian.tar.xz
Files:
 3496ad183e89396c51e91e438c50669f 9583 haskell-smtlib_1.0.9.orig.tar.gz
 601f36336c534200c31187b2e8f0a6b7 2444 haskell-smtlib_1.0.9-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAls7afxfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKj1mA/9Gu3UGchCvyHn5pkoOrl+c8fZXPWq+p2m
G5Iuh0SlPzTnaczBDf+n3HMvFf3qMxAmzPt647VBTDJKN++sfpmIVodOrrfg0Df8
SW5/Xp3yZ8/E5CEnG93/xgYbkpzeGkQWJKSPGOe39UCCv2GaTcfIrwyvndPH+uIY
wbbLwWF/4x8QAPd9nZNYKWg0U8RfgJWufm772bnoZVfozms3Wt6Os6AzuQwklXWS
u+3eopRIHmHxpaIy+JPYIxVRyGSNG1ykZiuNfgdTLme1ZVqCXCmKbOp5oqJLQBan
c/ZXI48brsWAUN6cqBztDaEAZw2Fgb7g3SQL11yoOkFeCtW9KS5xnFO9kYyLZzBo
TwFgEavnw94ao8+0MHE0f8RcqrshPTq7/Yczal4eO6nAPmgEqY1Kbvrc7+ENqmh7
jy8L9pOjT5Qrf3yhm9h1xzQEagInCvJGlVsDDt+9hM7sraMHskBxXzynLqtHvF/w
t+i4UBQdcJ+LkVL/9g0lMgXLtkFcjl5gdYTn3Ums9PaB8oPshWmbjUQtIVb7J6To
yKkqkVoUA2GntWsblL4waxxRHnUmfpilxfUaBxQOFL3wFlIsyNiUG72Ve1QtJyJw
QKiIaNU1ncEn0OWnNayHonvE+VOF8pPpR8O38/RPEDjUSJ4bVrdJP4zsFOtiqIgm
Obq/3Cvhirc=
=Nfl4
-----END PGP SIGNATURE-----