Artifact haskell-copilot-theorem_4.0-2

dsc_fields:
  Architecture: any all
  Binary: libghc-copilot-theorem-dev, libghc-copilot-theorem-prof, libghc-copilot-theorem-doc
  Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts
    (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-bimap-dev, libghc-bimap-prof,
    libghc-bv-sized-dev (>= 1.0.2), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof,
    libghc-copilot-core-dev (>= 4.0), libghc-copilot-core-dev (<< 4.1), libghc-copilot-core-prof,
    libghc-copilot-prettyprinter-dev (>= 4.0), libghc-copilot-prettyprinter-dev (<<
    4.1), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev
    (<< 0.8), libghc-data-default-prof, libghc-libbf-dev (>= 0.6.2), libghc-libbf-dev
    (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.4.0), libghc-panic-dev (<<
    0.5), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1.1), libghc-parameterized-utils-dev
    (<< 2.2), libghc-parameterized-utils-prof, libghc-random-dev (>= 1.1), libghc-random-dev
    (<< 1.3), libghc-random-prof, libghc-what4-dev (>= 1.3), libghc-what4-dev (<<
    1.7), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof,
    libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-test-framework-dev, libghc-test-framework-prof,
    libghc-test-framework-quickcheck2-dev, libghc-test-framework-quickcheck2-prof,
    z3
  Build-Depends-Indep: ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc,
    libghc-copilot-prettyprinter-doc, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc,
    libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-doc
  Checksums-Sha1:
  - name: haskell-copilot-theorem_4.0.orig.tar.gz
    sha1: 6033863bba85433651cb8b8afed366902095fd13
    size: '66103'
  - name: haskell-copilot-theorem_4.0-2.debian.tar.xz
    sha1: 20dc49a21acc5997605e1edc77d3f56ebffd4333
    size: '2916'
  Checksums-Sha256:
  - name: haskell-copilot-theorem_4.0.orig.tar.gz
    sha256: a34795c82a02825f1f9d51eec2c41fa2a9fa4244da8744d0764c6873f8cb3191
    size: '66103'
  - name: haskell-copilot-theorem_4.0-2.debian.tar.xz
    sha256: d6130856ffb68eca893da644420dd3b76a1d185f75e7c3a25d57fe7c8a09b48b
    size: '2916'
  Files:
  - md5sum: 3d6e4cf57245d3fc74c22d80bc993c4d
    name: haskell-copilot-theorem_4.0.orig.tar.gz
    size: '66103'
  - md5sum: a8d965da8cf54d958f00d11054def0e8
    name: haskell-copilot-theorem_4.0-2.debian.tar.xz
    size: '2916'
  Format: 3.0 (quilt)
  Homepage: https://copilot-language.github.io
  Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
  Package-List: |2-

     libghc-copilot-theorem-dev deb haskell optional arch=any
     libghc-copilot-theorem-doc deb doc optional arch=all
     libghc-copilot-theorem-prof deb haskell optional arch=any
  Source: haskell-copilot-theorem
  Standards-Version: 4.7.0
  Uploaders: Scott Talbert <swt@techie.net>
  Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem
  Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
  Version: 4.0-2
name: haskell-copilot-theorem
type: dpkg
version: 4.0-2