-----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.0.8-3build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-smtlib
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
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 extra arch=any
 libghc-smtlib-doc deb doc extra arch=all
 libghc-smtlib-prof deb haskell extra arch=any
Checksums-Sha1:
 6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 728d3f40c3986e13a7e64a37bd8eed1d698fe987 2280 haskell-smtlib_1.0.8-3build1.debian.tar.xz
Checksums-Sha256:
 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 c9540174893bc25d52809b4f23e365d960a9b418e8723a5ffb50b477637895ee 2280 haskell-smtlib_1.0.8-3build1.debian.tar.xz
Files:
 20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell-smtlib_1.0.8.orig.tar.gz
 e4d967dc2e47fee965e5c053893b2de7 2280 haskell-smtlib_1.0.8-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYhzC7AAoJEPNPCXROn13Z54IP/3ritRT4urAXMBNqqirEeZIb
OdZUo5avVhMxE9PbmNe9aUKJYt0K2pBN3+wQh81dPU5+/DJRoHGM9vnsqXKJqmPh
o3/mT9WDV2gNe0LC8ukXuN/WM4w8JnlaQVS9tcjoBjCs+vkvtLhlsOyN4ywc8vaW
u5WwKTJqVEMiF9T8i6pSm4/b4ZHxyBQK81bM/ClbfinEm4Y5HUCCLAFrOaOZIqL6
OgGVAE9T9yYfxoenOj9oBreXzocnIH7A4QeRQRFLv8CZdr+tqnDHhf0GpTRgoATv
YopQqEOfMkISG2VN+4xhbFuX2s2z6mvnxNc5Orlq4BWWCeSsIG4u7mkO9gh30IOt
+dXK8afmgI1f+0pDeGn61QFqbIZjjNm5FZZMXFEqDlcQtWg5qzUUC0PXuCoaEfsJ
Y6AcrsjlG71F88fVm6oRYIJ7Vkcgk5PtVJHRvxpjnt4GIDNrtESNW+D9cEdBXDeT
gc6DEa4C4ZutCsQlnebcb4p/ClUr5tjpKhA/HPii5QhqZmzoCG2ajZ0HzZRL5m37
4ludcjvmFTyYagC5Rsx+FIpeClcO7J41Y5Ar9DuifjbTwW9804cz4ESU8BuVt/Rl
DsL1P/Ftd94hAY+UxdawnRthGXt6PWQudgL7CmZgiBl3X/19EdUz6cL2rxnsosvK
g5tOurhY/0BHTFC7tBaG
=1klw
-----END PGP SIGNATURE-----