-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: haskell-sbv Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc Architecture: any all Version: 5.12-2build3 Maintainer: Debian Haskell Group Uploaders: Clint Adams , Homepage: http://leventerkok.github.com/sbv/ Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-sbv Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), libghc-async-dev, libghc-async-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-prof, libghc-cracknum-dev, libghc-cracknum-prof, libghc-data-binary-ieee754-dev, libghc-data-binary-ieee754-prof, libghc-hunit-dev, libghc-mtl-dev, libghc-mtl-prof, libghc-old-time-dev, libghc-old-time-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-base-compat-doc, libghc-cracknum-doc, libghc-data-binary-ieee754-doc, libghc-mtl-doc, libghc-old-time-doc, libghc-quickcheck2-doc, libghc-random-doc, libghc-syb-doc Package-List: libghc-sbv-dev deb haskell extra arch=any libghc-sbv-doc deb doc extra arch=all libghc-sbv-prof deb haskell extra arch=any Checksums-Sha1: 884952f23d3cc85b938413c18a08d2315b443863 526586 haskell-sbv_5.12.orig.tar.gz 738ececd85395cb4500ed82cac2919533d2e6b03 2608 haskell-sbv_5.12-2build3.debian.tar.xz Checksums-Sha256: 0c43caeb77fd6a3d6d4e8e71835da0ca5e207dcc2b0bf6ef07abb7dd5c3bd55f 526586 haskell-sbv_5.12.orig.tar.gz 59f89fb0099a943c27990edac1be36da4a4175724aef240a9e276099d93bbe92 2608 haskell-sbv_5.12-2build3.debian.tar.xz Files: 0d953d138e252d39640fc7b334ac6aca 526586 haskell-sbv_5.12.orig.tar.gz af31a76c02a3756eeac1ec3d684b591e 2608 haskell-sbv_5.12-2build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJYiZ/KAAoJEMJAPQz8ZpqTHvUH/j8siRv4i3K4Z9UoajEKFN+0 SjioNSdrHDjQR78+sV2zp8hQflghlSfnCDIDqd4+8aFgVeSKqtUVihIN7NRxnT7r b2wxPGjPIea6gm0AgksGfZinU6QuLlF0I0eTbqGWxewjehcSFLX18SbPi1OZbIte yn9haTmNzS3BnC4vwQVrA+pEJ9KM1N9Z2OJ8AvdWI+LMQjVP0Cm48O4QPSXtxKxr bEG4qhQPmJIpihy8GpNOJAsD5LybDK+BLQuZ+FtIioryrrNCd9LP/TG/Vz9o+KtH Gq33Py8laO1nV0W5yxIZ2yc/KdCip9KwjwLzqVA5FclL+7D/gHzdDX09adVuPEI= =lCkP -----END PGP SIGNATURE-----