-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.1-3build1
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
 9d163ab4844348477ab7d1992072e9444a40cb4a 2664 haskell-smtlib_1.1-3build1.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 c5f762844989f2097c8ac09c98735095ddf4daadd441f90afc8a58f652f32ccf 2664 haskell-smtlib_1.1-3build1.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 7f44ad4b1ac125ce3c2fc6b04cc55bb2 2664 haskell-smtlib_1.1-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEdFoACgkQ808JdE6f
Xdl16BAAvBEDJADZDRTUV6IW5+0gVsr9t9Ss8XlDW+hVANBTYLTqwjJNQRimtftP
WrSqGuvkJFPXi0uHNdlNN/eI54+Gbw1+qJtARrf/BCkyn8EnqJAH9k5FJSI/Av96
c1F+p55pHDGlXA6MkDyG4Hgx/WUAmeRV2HXKUr+Z1QP0RGuXT33KMcyALGlQcO9P
TfAkG71+CGIuxEqBBNcUtlKo+TlceavDkcjkWggJl5FZbzohOCjWF4vEcxYuncs7
4u5JVKRYY1sm0jLLxImSn0sJugCkB1ADkBld/4rEQ3j2XUSrPYD2kO1rBVJr4Wfx
HckdkcHtmjamBEYbec4rg+96uPtGu1xNBJf+d8RYdj8FMFx1Fq49cstjndP57pKb
/gx7KKHQdTe9VixGuopjh/z3pJ1hn6Z0Ycc+Ndombu5+caJRafhmdMbOcVd/kWFO
1ay4Et1Snu4c2JTArKPFjQE5eZUZpfPWljDvVcawuuimPBpLyf3hHzGT1gNA020u
S36nTxXKcyNDdsSw4uihjS2V4NPPyx4C+DmoZIuMR56t8Xa9A9cHZpatLyu/8gv3
DRgDPUPEaPVe1IPcmDLmelzg9DdR/RN7izXMo8xWqMphWts2PkU4P/yvXmtF9lFA
zCj/cpX82H0NRmZVnyTI76wxMCbSAchG2VwB3uJYiETlFmzFjg4=
=Bb5l
-----END PGP SIGNATURE-----