-----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.13-1build1
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.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:
 e31649522ebf2eb07f57a28853b4410725a2ebdd 687006 haskell-sbv_7.13.orig.tar.gz
 1f223db7bdaf2c27a541ba03b9274c046cb20394 2836 haskell-sbv_7.13-1build1.debian.tar.xz
Checksums-Sha256:
 33bafb18a6d7476aeb3fb215077154cd4ad36fa0359c5b184a9a2ccb3500642e 687006 haskell-sbv_7.13.orig.tar.gz
 bcb06fdc1c7470bf619122b72f7fcc60217c2bf763da37606b16daedcb553333 2836 haskell-sbv_7.13-1build1.debian.tar.xz
Files:
 b9a589660e4dc47a7f7664de9084a6d2 687006 haskell-sbv_7.13.orig.tar.gz
 747ba84455794f62ab930bb883991f1b 2836 haskell-sbv_7.13-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1MC1gACgkQ808JdE6f
Xdmh4RAAqvmX8IDheeuZQC39SmAswXttqyuJThFyDqvmHP5ck1KbMWJu18wkgh+m
jk90qQN6qnR4/jQFTPpnIpdvC5uYBh4IZ1a0GSjp1wH8GPFu5OBaplhDbleKZ47y
NQJHHAQkfkL3sHq0L9RW8EEG+5Zyq6bIR8XQATcGe74OxqOplPz5eNDVb9iH5TSy
e3wO1xCOdGk3bTff2XvhDiQsv4yECKsnGmKHIEsravQm9HgdEYUGnIADmkZjqQUW
P3G9kbWbJ1VfJszBNnUyVRA+CR8KG3XWE0QbcEr3ahvQhrolFYGBVwoL1r5UgpuM
h2hV6Jvbbnl59uZ3MsM9aJOl69wUwqaVUcyOgOCWAD7xxvZHjz7Zi7E0GvOlEdYs
6/jvJLzcjq09Skq5JoBB+g1GF0knwZY0l/sBmw8foGxes/ZdkIisQefMXcF3/J9g
ZbpQYuhNO2ZJmaS3iTy77gYs1ZP8QIv6OSH+UWJBk9r2SnbJZWm52BtutymeopLV
v+3YMXs7jYciKgFY0HiUpKN9JqvrbE8eJArpv4tpB2qUyooV929tifV3baL+a5HG
6y1yyBf7Lwwgx7rOdQ+Ma/j8t1sw8PD6OmcAymZDRRoDbnKs/2R6mxMdu/4dmwc7
FlEkeHp4pj5Jl/gCHJAwdZPbGMHjErJs3Kb0Td6MTvAPQQrGYHE=
=bEZe
-----END PGP SIGNATURE-----