-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-sbv
Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc
Architecture: any all
Version: 8.17-1build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: http://leventerkok.github.io/sbv/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-libbf-dev, libghc-libbf-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, libghc-uniplate-dev, libghc-uniplate-prof
Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-libbf-doc, libghc-random-doc, libghc-syb-doc, libghc-uniplate-doc
Package-List:
 libghc-sbv-dev deb haskell optional arch=any
 libghc-sbv-doc deb doc optional arch=all
 libghc-sbv-prof deb haskell optional arch=any
Checksums-Sha1:
 82a482b9831717c1969ec1437ebd0554f0bf9fff 951419 haskell-sbv_8.17.orig.tar.gz
 bf864a2898554d6baeea4d54b792eff830bea2b7 2920 haskell-sbv_8.17-1build1.debian.tar.xz
Checksums-Sha256:
 0d76ef666eff03a30c6d110ecb6871f4c40a04f2e681bdd8c0ef46999be72d51 951419 haskell-sbv_8.17.orig.tar.gz
 a5216124b497a0c0f4b6261cc84a6393c9eb6cbffeb8babee779da36c049f34d 2920 haskell-sbv_8.17-1build1.debian.tar.xz
Files:
 2962180b71684d55e3f02e478a069ed7 951419 haskell-sbv_8.17.orig.tar.gz
 9af260154602a9dae7d9270a5715ac5f 2920 haskell-sbv_8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOVl8kACgkQ808JdE6f
XdknHhAA00ozJo5+2VjV6TaOARCozU0y2jKkVKxynt0Y6SY+BXNZ4t+cFG/K/NsY
dgKtKCOnnExu9MvobITL7eJDZk7QxjUa+1Wv+g0C/xzXkg0dtCHvY4VkuR1p9dSk
WUBwkQ7RYUtRKyhtISfhCeXe/58sRNyTU4FWDn+CfzN7iu8lzXmVyGsEN/cU5fuy
9jsmelZFX6D+3w8rPkwpQcBMbIMpEZ/+Pj9GEhsHQR6u6+ApyHvy3Np6ZjoiePxS
1Z7HYD5DfjSmKwLvhWS5CjlhNdao5T0KjqRQtpfKk2Ybki7VBa5+YfDkAb63Saer
mkWwcZWrNuiiXuboef59cScO4h/npxAwvA7Z5KHrz9ryfQuQr4JRFlOVYUY1SsbZ
Byi7yurwJ1IfITjoHFXTxAXefqHaBe6VcoQlWKtOByJDX9g6oHvRvcucSPwHjyTV
irU3i9tc/jLzJ8k1C/4foSny6FqYw98v6B8opY6r1DxWhrwppj8VoJ16SQnYNswP
+oe7On/z7+xEzeTE0v6s5b7wG1Kw5B3AxecQcw3OEWGQCRYewLi02yDBSRGckEvh
WZ6c7aiZObblBUi0dINKvVO6aQx5r1tdqdX6j+sLP9ZGQjzZDi3xNltPnVaID+k5
24QQHswROK03WDgbFjCdnJ+n29TRSCEiVb6ewnpynR/4rN3TdDs=
=DAX3
-----END PGP SIGNATURE-----
