dsc_fields:
Architecture: any all
Binary: libghc-what4-dev, libghc-what4-prof, libghc-what4-doc, haskell-what4-utils
Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts
(>= 0.13), cdbs, ghc, ghc-prof, libghc-async-dev, libghc-async-prof, libghc-attoparsec-dev
(>= 0.13), libghc-attoparsec-prof, libghc-bifunctors-dev (>= 5), libghc-bifunctors-prof,
libghc-bimap-dev (>= 0.2), libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.0),
libghc-bv-sized-prof, libghc-concurrent-extra-dev (>= 0.7), libghc-concurrent-extra-dev
(<< 0.8), libghc-concurrent-extra-prof, libghc-config-value-dev (>= 0.8), libghc-config-value-dev
(<< 0.9), libghc-config-value-prof, libghc-data-binary-ieee754-dev, libghc-data-binary-ieee754-prof,
libghc-deriving-compat-dev (>= 0.5), libghc-deriving-compat-prof, libghc-fingertree-dev
(>= 0.1.4), libghc-fingertree-prof, libghc-hashable-dev (>= 1.3), libghc-hashable-prof,
libghc-hashtables-dev (>= 1.2.3), libghc-hashtables-prof, libghc-hedgehog-dev
(>= 1.0.2), libghc-hedgehog-prof, libghc-io-streams-dev (>= 1.5), libghc-io-streams-prof,
libghc-lens-dev (>= 4.18), libghc-lens-prof, libghc-lumberjack-dev, libghc-lumberjack-prof,
libghc-libbf-dev (>= 0.6), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev
(>= 0.3), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1), libghc-parameterized-utils-dev
(<< 2.2), libghc-parameterized-utils-prof, libghc-prettyprinter-dev (>= 1.7.0),
libghc-prettyprinter-prof, libghc-quickcheck2-dev (>= 2.12), libghc-quickcheck2-prof,
libghc-scientific-dev (>= 0.3.6), libghc-scientific-prof, libghc-tasty-dev (>=
0.10), libghc-tasty-prof, libghc-tasty-checklist-dev (>= 1.0.3), libghc-tasty-checklist-dev
(<< 1.1), libghc-tasty-checklist-prof, libghc-tasty-expected-failure-dev (>= 0.12),
libghc-tasty-expected-failure-dev (<< 0.13), libghc-tasty-expected-failure-prof,
libghc-tasty-hedgehog-dev (>= 1.2), libghc-tasty-hedgehog-prof, libghc-tasty-hunit-dev
(>= 0.9), libghc-tasty-hunit-prof, libghc-tasty-quickcheck-dev (>= 0.10), libghc-tasty-quickcheck-prof,
libghc-temporary-dev (>= 1.2), libghc-temporary-prof, libghc-th-abstraction-dev
(>= 0.1), libghc-th-abstraction-dev (<< 0.5), libghc-th-abstraction-prof, libghc-th-lift-dev
(>= 0.8.2), libghc-th-lift-dev (<< 0.9), libghc-th-lift-prof, libghc-th-lift-instances-dev
(>= 0.1), libghc-th-lift-instances-dev (<< 0.2), libghc-th-lift-instances-prof,
libghc-unordered-containers-dev (>= 0.2.10), libghc-unordered-containers-prof,
libghc-utf8-string-dev (>= 1.0.1), libghc-utf8-string-prof, libghc-vector-dev
(>= 0.12.1), libghc-vector-prof, libghc-versions-dev (>= 4.0), libghc-versions-dev
(<< 6.0), libghc-versions-prof, libghc-zenc-dev (>= 0.1.0), libghc-zenc-dev (<<
0.2.0), libghc-zenc-prof, cvc4, z3
Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-attoparsec-doc, libghc-bifunctors-doc,
libghc-bimap-doc, libghc-bv-sized-doc, libghc-concurrent-extra-doc, libghc-config-value-doc,
libghc-data-binary-ieee754-doc, libghc-deriving-compat-doc, libghc-fingertree-doc,
libghc-hashable-doc, libghc-hashtables-doc, libghc-hedgehog-doc, libghc-io-streams-doc,
libghc-lens-doc, libghc-libbf-doc, libghc-lumberjack-doc, libghc-panic-doc, libghc-parameterized-utils-doc,
libghc-prettyprinter-doc, libghc-quickcheck2-doc, libghc-scientific-doc, libghc-tasty-doc,
libghc-tasty-checklist-doc, libghc-tasty-expected-failure-doc, libghc-tasty-hedgehog-doc,
libghc-tasty-hunit-doc, libghc-tasty-quickcheck-doc, libghc-temporary-doc, libghc-th-abstraction-doc,
libghc-th-lift-doc, libghc-th-lift-instances-doc, libghc-unordered-containers-doc,
libghc-utf8-string-doc, libghc-vector-doc, libghc-versions-doc, libghc-zenc-doc
Checksums-Sha1:
- name: haskell-what4_1.3.orig.tar.gz
sha1: 75416f6cc46efd49c3043c0a313cbdf988052944
size: '372289'
- name: haskell-what4_1.3-4.debian.tar.xz
sha1: e5b9082800a67ecea58e16016c73c41205bb4703
size: '3644'
Checksums-Sha256:
- name: haskell-what4_1.3.orig.tar.gz
sha256: 789efc84d09eb3afd9707108e0a3fa78d0b43bfd36b80aa0aacfef41cad4e40e
size: '372289'
- name: haskell-what4_1.3-4.debian.tar.xz
sha256: 83d5303dea88712d39dcbd8e66cda11dfc75a540a1bf95569ba55f8b386669d9
size: '3644'
Files:
- md5sum: df1de622e4410ccf1adbb3e12437c0ae
name: haskell-what4_1.3.orig.tar.gz
size: '372289'
- md5sum: 973f47c2a4efc22d809238e9b616dff2
name: haskell-what4_1.3-4.debian.tar.xz
size: '3644'
Format: 3.0 (quilt)
Homepage: https://github.com/GaloisInc/what4
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package-List: |2-
haskell-what4-utils deb misc optional arch=any
libghc-what4-dev deb haskell optional arch=any
libghc-what4-doc deb doc optional arch=all
libghc-what4-prof deb haskell optional arch=any
Source: haskell-what4
Standards-Version: 4.6.1
Uploaders: Scott Talbert <swt@techie.net>
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-what4
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-what4]
Version: 1.3-4
name: haskell-what4
type: dpkg
version: 1.3-4