-----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: 7.12-2build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
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.2), libghc-cracknum-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-random-dev, libghc-random-prof, libghc-reinterpret-cast-dev, libghc-reinterpret-cast-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-reinterpret-cast-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:
 11b1a0aaf8bb434c90c0bf3ee1fd5a530b8f11be 666225 haskell-sbv_7.12.orig.tar.gz
 77e856ef9cc755b4c0831cc64bab9fb4c8651f29 2836 haskell-sbv_7.12-2build1.debian.tar.xz
Checksums-Sha256:
 dd8bcce40246257bb2de4db7d61695fd2e35b16c785b196a3f272f2bbc8471d1 666225 haskell-sbv_7.12.orig.tar.gz
 18f20888fde0cb389c82d9b8d34d076501dd9414e510c173c76c93760656136c 2836 haskell-sbv_7.12-2build1.debian.tar.xz
Files:
 cadf8a597c4b1894222b8a649bf5aeab 666225 haskell-sbv_7.12.orig.tar.gz
 75f8ac3150528c6effa690f4ae5ac55d 2836 haskell-sbv_7.12-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAlx/w1wACgkQ808JdE6f
Xdm2sBAAir8yZnvWh+5KZiozL5hY1lrYubsNHuc+UvztvW8I0I7d/jtXaQlWAXxS
ztUjvGxnlYT2PJqg4hcY4dqEQkycbmmlnbMs45egBtQjrvF6ZJ3ansfUJblw2mFg
Cb1dLAPgzU9hER7EQqkp3adDI00ojGbkaDnOtCs4vZYCcvktvxb+Z7G6ZAEBQQz1
eE7g/M+P53LQtCEwkrE3/TQtZccQsak2WoVS/d/zOEIXaHJZwMbs0wVVJ0W+UmFF
IbeVxU1gdbdJ7n155bN2A+YIkxMZKr3PkWLnIcyPDqEZYAM4/WN/U56Qw5FhcoZj
geqxi9QRF98IrKkDPwjR4S3p1S5+BofUcfEf2wwDxaccy76cun2xgkM3fS91g0B8
37vmRrJ8RnbKA8ExcuPDvKh0G33Pmh6E7+k815tekdBat8ZI85FaH+KSSvCoRakC
VfivolBnVCvunn4lCOMhkpwwcIe37y4aUwv4GrZmVQpWGNS7pClxvb1DfLiZgB1e
5tKn6RfqFi1dhVuqethc+7j+bn9/WH2radbDOWM+FF5J8LMdOJrs62x8WKWjRDJ7
wEyYBjd7c6wdEtK4TTe7DvMcDOtaxdX2ZEAOqLdbdpOLbH0KN61Rl2FJuKG5Y7ej
7BTUD/9EX/8mc/ZLHmif6kQryVBeKGiD54GfAHhY/Pa4dd/K/Xs=
=cbRP
-----END PGP SIGNATURE-----