-----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.9-2build1
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
 900b28d7c3df98f69a77032f9ed6eeff69fa59d6 2572 haskell-smtlib_1.0.9-2build1.debian.tar.xz
Checksums-Sha256:
 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6 9583 haskell-smtlib_1.0.9.orig.tar.gz
 3fe3dae83701faf29ba8e06e482b5b023e1758d0f96fd408b4e7b2a2f91f7bec 2572 haskell-smtlib_1.0.9-2build1.debian.tar.xz
Files:
 3496ad183e89396c51e91e438c50669f 9583 haskell-smtlib_1.0.9.orig.tar.gz
 a730ee5e4852566990b593f3ae8b9263 2572 haskell-smtlib_1.0.9-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1FazgACgkQ808JdE6f
XdlAwQ//Z6zu2olY4OITYXKlR+nYgRDDCOlfx70YeDFfsAHF75GfbKDx4ujFDpC6
D8OhblQZX+6tkRbj4k9UNFrddBI4Pv4Md3vMAaE2xcI7JGNb9bF1e5Aeg/JHe0Ew
UIY8MSmI8lysvISgAmOtti/YknTZb4zOdwScko/mhjvAsjduHuGKfSlG2IdGo6lE
OVpNrbTlb2gvcdZWno96op8/Kr0Q6fHB8aHpHdg4Qw4/Z83dV1WrWRn4SG87FqRR
SJqcmBCLAAj1iWcROQjcc7qsFyqcSCzhHxBLjoeJhE1upUZIhG85H9npYSejNJcZ
5nKNwIUDPbAj53Qn/NSCJfX3W1bqNyV5893/IdbuCXZOe5rFXmbM95l4I9zTreYX
9v9ca6iVZvHdc0/g+jFqG2wxVjQKtwF54QiD0SjKJLqKKihgNeK27VjEWWO4uLYZ
O3bjD1jynxemxmivT/7YubsyeHYHG1l6LGE09JPmOrcydGrG2+jklGIbo/2637wx
5018hR9yGuKWZD8gcGipDtPpUwMlfAo5GkmIvH4Fb5lbj8V0J7JZ/N423e+l/Pvg
F15OI5obW2wXwjdT9wtAwFDNUZx3aINL0JgB/Lzx6i+k/B4fvzBTKddOyIHyUe22
PLMOd6pqA3HOOPQeaK0KJscvEyNMXJmspvF4NXSlEgW0nkw6Fv8=
=k3jQ
-----END PGP SIGNATURE-----