-----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: 5.14-1build3 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Uploaders: Clint Adams <clint@debian.org>, Homepage: http://leventerkok.github.com/sbv/ Standards-Version: 4.0.0 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-quickcheck2-dev (>= 2.9.2), libghc-quickcheck2-prof, 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-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: c1fa518891e3096d210dc004784561f874485cce 527280 haskell-sbv_5.14.orig.tar.gz 7acd34fa78c0db14a90cdc2a78a52d1547f1d090 2644 haskell-sbv_5.14-1build3.debian.tar.xz Checksums-Sha256: 92dc71b96071162a47383c5f4833e8b78c2874009e671e2a6bc8de9707328e7e 527280 haskell-sbv_5.14.orig.tar.gz 00be9c08186f9fc567317fe2b55e5a794399e891c267395d76fc1dd37715966c 2644 haskell-sbv_5.14-1build3.debian.tar.xz Files: 759378d1bf13651d1ee9ebe9f50ce974 527280 haskell-sbv_5.14.orig.tar.gz 1ea1cd34a9de0abaaacb3410550bc116 2644 haskell-sbv_5.14-1build3.debian.tar.xz Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> -----BEGIN PGP SIGNATURE----- iQI3BAEBCgAhBQJZ/U0WGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN MPMhshM9fcUQAIdG4klivZulS9cltv9/wW4kQHAUsYenO8mNJu6iF7EHaM/aSCYV mTRzm1LIKpMDGVtvvqZRO7WRX1HeN5AxMp/is6R4J9eWZBsrptp3Snv6VJGlXAp0 /hrrGm4dmDSgqUlzRIyjcfI3RKtmSBfjWEQ78xXZNU0Dy1033yUHCgY1+V8Iy9CF MPwjQnKp+dJnoM+U3ge4v8lQwxcJPg1YIJ2cFxLDLNrZjXVWUHQXRQygup9OflVl AqNsKvrUCM/4PksyokwTtf/gC+VELnuMdop4pLgS+SGulizXY6xSzPU+fJXV73z+ vt4aSski8k+mnemVVnxApRSREcmBtTK6sct8krHqJPi5XR99SWvrqNKGhJ3I1+R2 K+NrG3v0lrp3ieFv/LLm1gPRBCa0m7x9v8JmuHYoQzVmXVAQ+G/8fONVUJhXH7Ak canMLuKndVCG5hSlqXhHSoRZndcUeg3zfbkJ89pcK/rp/kqedbkYV/q1oKoXlBmr dIQT5tkDRvFBtveFurq5hy1ex9U8qqAQvx2Osge/vMmsSjzl9mVL/x6mOYJId+t0 Kd+Hl1Nz6E4C6NiyT8jfLNPErSRa3O7A9PXn+FsyhU7ptaUVlnENExeANG0BWHZK cs+92nx0fUdZ3wa2A9BYzSLMdVOgX+kdTjFja62w2TW0WG7AuqlRaeS1 =GVZz -----END PGP SIGNATURE-----