-----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-1 Maintainer: Debian Haskell Group Uploaders: Clint Adams , 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 fa54b6ac4fb7ed97666e5e8532cfbe530777bfb1 2804 haskell-sbv_8.7-1.debian.tar.xz Checksums-Sha256: 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 873246 haskell-sbv_8.7.orig.tar.gz d147486526afea7361277e52f7324980aaa1c40f9aaf69f2ff457a26c632389a 2804 haskell-sbv_8.7-1.debian.tar.xz Files: 36a0369c3ab33851459ca4ca31e500f2 873246 haskell-sbv_8.7.orig.tar.gz fb4a6f811887926cf4204bc5ede515c3 2804 haskell-sbv_8.7-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl86l+IUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDyNFBAAoWjhHBep1llHu9FALZGAhAKrC5D+ CA5Xmiq3YO8huhJnp8SzPlbYvage33zUbk2U6LnZPl9y+N7zeTp0iiKSEPDpgHoJ NJJVgvRlbLhak/HDUpvb2n25jzrfOAs6ShJAEdCSsLtJnSTQqkpuHDjg62Wv2XA0 Ymg1HR0iGbfLQ3BNBOYwXXldC30OUyHJjPi1cYxtGRMbNy0DdqwF14NezqWJbcE9 OM6kd5xOJxnhcuuFr27XcmVuA2MRtixbZkkzpCIGHvQv+pJM0EWCCWZk4EFv0pkv VFX0kpUltm0bEQRziyn9tn2bfVpwSXH07QNLjk2F1HFqOs4+MZOVg93CwiaO7TVd UrQTuOiz/CUBYFdTLIsEZ3SqKq8kFybswlwEqEZE8aG3G6g0khqhJzE5hEZAeKVn hVIixOrX1eXJ/8IwW9pUctT7gC+pTgb1s1YfnVUBOlFWiao0ci4Q4ADTA4CMEPAG gRz9X6zIJfX65KsUyyIUJOxUP1aNJXJDwlZO56p1bZy4E4etQMD8cOrMkJSqxw2r je1Qg1+VgZB2a/uCz182zi2eR4CbwuZv+3c7sAwZ87Wd/iojQfqlhTMkjMYw2hc0 aG4TDpDkZpl3bZZJY/ivce0+gdwqEVNz8ATWhvPdtE5MuojRpxOeplLFYBvv0srw NS5HE7MiO5L5o7U= =1wPJ -----END PGP SIGNATURE-----