-----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-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Ilias Tsitsimpis <iliastsi@debian.org>
Standards-Version: 4.6.2
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
 e4fc005fc5c4372a09298579548004131a646bdf 2604 haskell-smtlib_1.1-3.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 c4187bfb6d414496681d0032de0ce37cd42b157a58631934eb410890a8595630 2604 haskell-smtlib_1.1-3.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 0f20fa84d3fc4e6f2d034a376cb6b555 2604 haskell-smtlib_1.1-3.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmTrIpkUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDy5xQ/8Clm6E0l0sXo5TWfxoOVbA6F0JwmW
JSNbe0LAlfHliiXkZzTTgIXSh8N4MOXNT33018QZ0rgV3GeEHlnvIQ4X2lIXIkPc
itAnCIedVJSj2DUaO3XenQ94LBM2dZDQvZ5gcNnYfmgQU2Sxdh+c7mSUhvK6ur4m
PYK79rklkYmnxxKYVP1gFc6QK+dNKuXTftOrAU5ujzn6ThaEgFClPyAsaiZJFjLY
XM+eyrIMkIBhPrXumgYs4+RzG16JXPTw/Stvwn+g8yXfQmYa5+E/vR+OfWQKXHna
PRPIiZiFf41l9C/LN+XHIRyKJ52+D5vYMZsR4E/J8fVChuqPADIAP6e86m71Qb8S
SAzLBqpdS3lEPnoO3hYMAsHay64YAKOEKGC+3dTmo8d3nbNYRnabdu75YzA9v45c
Cmlx/AMb1xhOHUdk6dnpWHsW0r8zM7y/aqrC0Y81GmQjVCAxZUb5xNhpuobCuLqk
p84ttJFf4QaJSuEthuzsSErvZgGWJMVS2y78L47u530pq3S4i79bXXgACz07bko4
Al8s/M3ogzlz2tUYkPxfsgNnrO5+HZRnj3siht2lyQp3u9S8QY9RrwaI7Gr4oGzG
HVZLrEGYAe4F8TyEZ1AebiYMquaV+OvB9f/aeU/oxh0Olr593FkAQbTFC3KdY8ix
UC/UzxgGapFfv1c=
=IbTA
-----END PGP SIGNATURE-----