-----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-1build1
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
 936b8c032f84b5d60ac19bbf967c89dc37ea43be 2640 haskell-smtlib_1.1-1build1.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 e4835afe8bc54adf2cc88038bbc34286a6c016f855d6905ecd18b94c268b8734 2640 haskell-smtlib_1.1-1build1.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 b1b1c1c9c0f94256b3e3504a1ca9801a 2640 haskell-smtlib_1.1-1build1.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl8W7k4ACgkQm47ISdXv
cO1CShAAr9XedrtNgxP9Hx7i1k5429Uo3COyvgZ3OYn2eQ54t1lopdTLDdxZgo8B
dV1/nqmGA/ttKTotKjSWpqYk+hd/RN7l1y6ZThv3kx1T5usIX3+I3kX8EONagO7j
jSiqo0+Evv/CTzEyn/RMsgLOvtNdQ2gnNESsu1wG+lbwPhvLfaKaJ+jg2j6mbOJi
pHDG63jnFh62Ejl1TJ3aLLJ4z9TCIGFLGpQdRHb7IYPk2Wez6zPOVU/mvWvu8cs8
9+aIhfCYaJ7d72b0xeLAzFbF+VrkijFrDKFZ65VqBfHR2uEAu5Wy8AN834pl31Pt
FHWyLt7TVQLimEF/LCctAe8SSPAcUUqmemziDWgL/lH5/9W4oeEtvC+KQkiqPzkg
G4EPIkY6DdAt8qqYbQYG3zi5pINjyK2rfdq3jIUiPqFxgNe29LSz+0EYpeVLaPby
ZgxCvWN57RJVlie+UvQY/1OqqW7P+VfnQT72DEPEj4UXeimPBP/s3sTm5Nheuhxb
syhAQxHR7QbpDUShnP049sfEwoJROE6HLDWV+mRyrLHZ01qQrRlxrg+X+PPaC2w6
d9adFjdpzl84abobaRL6yDtzMTH5uTAhCZe0AXsG+Y7f//IQbKIsQ31yXJU7ab25
QLw/mz0oiIay02KSeRuikefLY0/nGk7PMAz+lNmSUWilxtlxnec=
=rebS
-----END PGP SIGNATURE-----