-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-sbv
Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc
Architecture: any all
Version: 8.7-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: http://leventerkok.github.com/sbv/
Standards-Version: 4.1.4
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-cracknum-dev (>= 2.3), libghc-cracknum-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof
Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-cracknum-doc, libghc-generic-deriving-doc, libghc-random-doc, libghc-syb-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:
 505eb9b521fb9e5b32a6c8375dc55f92c3bdc4fd 873246 haskell-sbv_8.7.orig.tar.gz
 d1c1ac694dc30d050e6131cb841522b2c3b660e3 2952 haskell-sbv_8.7-1build2.debian.tar.xz
Checksums-Sha256:
 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 873246 haskell-sbv_8.7.orig.tar.gz
 f4cc6fd73966de8e9bb1e88ef5d306bcb4800eb652539761ff4e7a02b90abc20 2952 haskell-sbv_8.7-1build2.debian.tar.xz
Files:
 36a0369c3ab33851459ca4ca31e500f2 873246 haskell-sbv_8.7.orig.tar.gz
 8a6b74dc839b07c1721182b216617f2d 2952 haskell-sbv_8.7-1build2.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl9JfSYaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0xNw//QyHrD+YAI5juN3O1sCRA
zAH1S54V4W1jMw3mFrpW7aQOY1KuYPirDuYzNRV20Z1ded38/4NnCkYdDbCt2o0d
4xWNyJkQT9GUya3wvbkTCMHbldAdhX5Gdyq5JdilxrLReJB1gdMnP288FO2tMqzB
XFTsrE/glJehgSENGDIiH6IpMMrx/cceJ0TIbBN/GCIR90rO8cT1g46NPva2MEZT
aUw1CDvr+ICZJQFkYoDF/iUewqjbc90hD5BL/DHDF6JgWECAyERqsegiv8FfJU8c
kb6UU6SJjVEEa+YVGvSd42VvKcm+HUutQ/mBLjv4W0Tdp2F9yF6bo72V4J0fmPqp
DyY8bZMkAuHrckFnL07fggFZUc1nIo7+vxTBztDUlmYPDdpD+6IMpeoXW0V0Wiur
8rkQKEepxM8PWBOA5xj8l4Ri6ZVqCI5vYE5aMw8/NbejiQI7a21GE2ODdmem+T99
47yhPCoRHHaX6MOjLtcPGRWFRaXfU8P2FI8HqEM4RfYG0fpqFxescnjbxyAOg3CQ
EKQFwlaIq+muqm77CS9QqdyVyrc1KJRXnuEX2h8M10nKlnA0nIstGafocV2Ip0yX
nXtnlEb68nllPJJoJ4Pz84wxOiUeSuhaYM//yHGhbG+auRsgCL+IQTLs/4mCdryu
YqTVM8Kdjnxk8eGNq9qXd9U=
=oc1y
-----END PGP SIGNATURE-----
