-----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-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 4.5.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 (>= 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
 0a7961aaf6dd9430a9a08623fb0c3d3a1e5d7ae4 2692 haskell-smtlib_1.1-1build2.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 949eeaf33c0e6178281d86e42515a3099b926c3be8674f31c52dc99b809a833b 2692 haskell-smtlib_1.1-1build2.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 14a54f68956f2a26a2263804750f0f8b 2692 haskell-smtlib_1.1-1build2.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl+bbUEaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1HRw/6AjSBr9TzUPfvyx+WRWJT
T9NrxQPhPtjScUuUKLrWcrXvTpnlrO3j9X48xIYOs1BxUoun3TlHpCQJ9Qt8vbCE
ha+KGNtLi797U6Em2TmHViIoxosSoSlrsZVUTvHYUvngFesMhiGYvtesrkBj4+lc
oyqpcM9IBKTF2oCLFDz6GOihbKfUin/a3IA48ks9m0UJsWzyc5POvv/OTzblUxNh
RBWmD0vTHTAo6bY066eEBb20lZMQTk1PuHBTzeiEvfFEA1Mxzm4xtxIpRjlPl4iV
zpyOrWFir4VkhePefOGXmW8JD/NdZjUiu4tLUk4z0O6HaAj4UPFBL7T4Ck1j2KkB
qj7RHnRIj9kx1MlMYIglW2H28P3IF25Yi14UwGR5ynAA0n2BW++Ad8Mro815DwoM
pyG3+Ru4Cx0an70eFzisni1zMGQT+EbnFl5AtYeRExvuVFXVm84cdz9aFPAO/8Ed
pwZughJ1x10R7E+JL/Ex18vfYPblIKA5ILZOK/7NhkhIEe9qoPF2NV3fvtcl0WLN
2LcbowOaDSQNYjnFYMCYndGHzLS8fS/GKt98v+eLeajHAqz/tYDhiJn3+CuNYpUO
qaN/6Eq1fTpvXxuj5l3jdLQ7IbnmHbPMbYISSL7SAppXtTGfYBum0eBlrSycm5RH
qlyOS06zUxlGy88FwNhz0p0=
=OUuc
-----END PGP SIGNATURE-----