-----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-4
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Ilias Tsitsimpis <iliastsi@debian.org>
Standards-Version: 4.7.0
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 (>= 9.6), 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
 e53b417b2d952153c278d55e75293492c61bfa70 2624 haskell-smtlib_1.1-4.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 99e2291a521d5a283ad374ab4b9cd99726a64bf1d58cbe3a46e06c369cd848a4 2624 haskell-smtlib_1.1-4.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 2285a82a3a3d8128556fde4a9f0f8337 2624 haskell-smtlib_1.1-4.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbl8joUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDxgrA//YTMvTSPJ/fHYceVhEQYXTQ0JKf2+
exYUdx1RUlOY/yQX8aXpLn8nvSg7mT96nAfwRN7+7aRis5TRfL/IQ82C1eWkuAO4
UxhylK56FR1JEZLpjhxiF4XulDEsAIv0Y6ClArauRGov/0QNRvbe7P9aBcZFE1Gg
W+zt5f1QVxlLdfvEw7jxENccFopJpj6pgB7sHip/KqPu9HMyh1atLeu5HgPKG/68
U1rFmLM4IIBg9/WBcPS3LQeNiSX+XLqke5qWnibvynJC9rjjjFdVi7FwjfSQhxZb
UziBH1YVx8dSzpnPkflZGzrHXqQAtbxfQMxzVciRweK169l83K30QI8MA2AcUJKx
NBquTv51sNrU1+PiA4iEBJQ03heDeaft1Eo4NABb0iQKesaB8F0zd7shqyYTd8M2
Tyq4MlzoeHStYxC/BD9zMjULkNglyoh/igAfxMSLnDiKypqr9+VqdOZDcIdmzluc
p77utjyK74h3RuLHeOJ0OdR+IzTPWknF2SSitvBlGDpYT811mXE63TLPjGMAVer7
pTnCfdwWUUyQb0YLaoMJuW5gjyiybq4P2Dvk0EKoy3CLLTh0qZqLC4jalCyVVEf4
L8+yJ9ZXNWxZ9EIWPyrXhukfjcyjbGHFfBHKEKStyAUMdvah3CqHd52N3ibhmtCy
TtttLfzqdCPtM9Y=
=aO9h
-----END PGP SIGNATURE-----