-----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-2
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 (>= 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:
 7a4f3338b2c69642f0c7a38c27666e94974b4506 9583 haskell-smtlib_1.0.9.orig.tar.gz
 e7bc67e2887dc79912eea08ad20463c6ac467019 2508 haskell-smtlib_1.0.9-2.debian.tar.xz
Checksums-Sha256:
 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6 9583 haskell-smtlib_1.0.9.orig.tar.gz
 973f91cc4c54fb85fcce97094eaa6a96fde5b969cdb24e6d7392f7c9abfeb607 2508 haskell-smtlib_1.0.9-2.debian.tar.xz
Files:
 3496ad183e89396c51e91e438c50669f 9583 haskell-smtlib_1.0.9.orig.tar.gz
 20dde8257da13fa2628e82e771338e36 2508 haskell-smtlib_1.0.9-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAluxNMMUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyeBQ//RlpRtzAKGftyhHOuWn6WG2whbiSc
S2LAhjzFyYj5D9QcdpN+YvoTjNa688tnYQ5tcmwEUg36Ug3WYNkwrmPPtCbK58lG
Gs+E6bICVwltUcL7HpigWyMJqfzsovE8UyDqgWdMGt7Cb1DsnIw8c8HCC7lipOHh
PiZC6OUw+GqbHvpUGWS8iXpQzAiJTE/FytGaQGpoxzYRbjmFpUdkOvAU4m+7ZD7y
H40Z+9RwMG3yrGMJ2eb2kNU7DyST7Yo4l3hi6KcxgCRi7JJbkOp0Iblk4fBnkhpC
42S1Jm2RwqKpn/Y0VQCd/jFBPAM+Tt/3oHZdma0Fci2GvyGe3LAf3F6rZTr8c/Vk
N+RgcPLY3km9pF45e33M21Mg5wUqGdYyjN9SE2QRpXsG+HxY8O4pIyg34g3ZH4Wa
9kU74m0uBRJ2+VEISYYlvndIZycml6yDO5Bfcz0GazkW33hH6UOP0MKZpml9G/4D
z5GNSJnOaCxHkfGTYXNSZylmmNdJGUGPbtrMCcL33G8klk8Hx0JTjRJPcwOJjWbf
rcEr4RFcwmJOwI8AaRTzocScQvVNKR6wJ61BR91Ma7RFaJ/jmmiVXek1h93gdAaB
Qdi8fYMC6KsrbMIjyIZvT2665RygMZBLbWLl6v/ZMCMdrSlZjtaJQ4uLWdQBmS4k
et2mMik9excdnNo=
=B/Xw
-----END PGP SIGNATURE-----