-----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-5
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Ilias Tsitsimpis <iliastsi@debian.org>
Standards-Version: 4.7.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: dh-sequence-haskell, debhelper-compat (= 13), ghc (>= 9.6), 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
 d93585245771f36c9b122668f3f405303059d009 2596 haskell-smtlib_1.1-5.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 d4f767e129c2118a2b474433ef552c0ad970afbfec2f0f0e8b730af78c758d59 2596 haskell-smtlib_1.1-5.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 ba3623661791ebd1cc01d5e8deb8317f 2596 haskell-smtlib_1.1-5.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmlb4DcUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDz/QBAAr7Hn1zm5adWd4y+BJtgaEhltyvhY
s0IengDGsSOAyJcnCJnOF1OYbmpt7J1ZcbdYPzSWE8Hmvk5NR2TEepgCL83jDN+Z
byS+4lsU4eyM7gSzhd6fT32TzWaWjCt7jgiBGO7vuc6/jrJBe6Fibeoqd+OHatUb
YJZwOFXK6qLQmawQAplCk0v7SjRjyyXlT34OXCTaBoSWWEfu5/4bjOngy10ouB3L
EGfZtX28AOWzN1T4XuT7ZWdu1lx/PgZWux9UJC5rgYps1d5DrE2wIjCXl3f16suN
WXLjxBbmTaHw47XCyptE6RB75pk/H7kfOFLRfRCqEvz7N1lk2jFXlLJkAkOGS9CE
Vjd5WjMbNyGOBr11aBxxVI7iz5VJgflwGMGrqtY09hmkre94s6WtTFwFpJYsJud0
Eugq0CIoe56M05eZfHkInhs+5DETe2tjI/lU26Fh073YbUQmIozIHSlwWDaj7WnB
P3m9lGvC72xdVFrfJmViF2fP7tg/o3yVjuSKmKJwYGHvmojkOK6qPlNaBzm/kJrT
Z3QKLl6igRqLxnZPXsISQszgZEMN2zmA49HdCQJx8guJdOOO0nkvP31lZ3JBObMQ
b+gb4JFenfijr6x2m75XngC0UlECfYVlzq+QtQoWpDb1cJ8Ieh94ONMWgrjwhbDV
Ao6QhCYIb8DUOYI=
=fXFB
-----END PGP SIGNATURE-----