<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-what4
Binary: libghc-what4-dev, libghc-what4-prof, libghc-what4-doc, haskell-what4-utils
Architecture: any all
Version: 1.5.1-4
Maintainer: Debian Haskell Group &lt;pkg-haskell-maintainers@lists.alioth.debian.org&gt;
Uploaders: Scott Talbert &lt;swt@techie.net&gt;
Homepage: https://github.com/GaloisInc/what4
Standards-Version: 4.7.0
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]
Build-Depends: debhelper (&gt;= 10), haskell-devscripts-minimal | haskell-devscripts (&gt;= 0.13), cdbs, ghc (&gt;= 9.6), ghc-prof, libghc-boundedchan-dev (&gt;= 1), libghc-boundedchan-dev (&lt;&lt; 2), libghc-boundedchan-prof, libghc-async-dev, libghc-async-prof, libghc-attoparsec-dev (&gt;= 0.13), libghc-attoparsec-prof, libghc-bifunctors-dev (&gt;= 5), libghc-bifunctors-prof, libghc-bimap-dev (&gt;= 0.2), libghc-bimap-prof, libghc-bv-sized-dev (&gt;= 1.0.0), libghc-bv-sized-prof, libghc-concurrent-extra-dev (&gt;= 0.7), libghc-concurrent-extra-dev (&lt;&lt; 0.8), libghc-concurrent-extra-prof, libghc-config-value-dev (&gt;= 0.8), libghc-config-value-dev (&lt;&lt; 0.9), libghc-config-value-prof, libghc-deriving-compat-dev (&gt;= 0.5), libghc-deriving-compat-prof, libghc-fingertree-dev (&gt;= 0.1.4), libghc-fingertree-prof, libghc-hashable-dev (&gt;= 1.3), libghc-hashable-prof, libghc-hashtables-dev (&gt;= 1.2.3), libghc-hashtables-prof, libghc-hedgehog-dev (&gt;= 1.0.2), libghc-hedgehog-prof, libghc-io-streams-dev (&gt;= 1.5), libghc-io-streams-prof, libghc-lens-dev (&gt;= 4.18), libghc-lens-prof, libghc-lumberjack-dev, libghc-lumberjack-prof, libghc-libbf-dev (&gt;= 0.6), libghc-libbf-dev (&lt;&lt; 0.7), libghc-libbf-prof, libghc-megaparsec-dev (&gt;= 8), libghc-megaparsec-dev (&lt;&lt; 10), libghc-megaparsec-prof, libghc-ordered-containers-dev (&gt;= 0.2), libghc-ordered-containers-dev (&lt;&lt; 0.3), libghc-ordered-containers-prof, libghc-panic-dev (&gt;= 0.3), libghc-panic-prof, libghc-parameterized-utils-dev (&gt;= 2.1), libghc-parameterized-utils-dev (&lt;&lt; 2.2), libghc-parameterized-utils-prof, libghc-prettyprinter-dev (&gt;= 1.7.0), libghc-prettyprinter-prof, libghc-s-cargot-dev (&gt;= 0.1), libghc-s-cargot-dev (&lt;&lt; 0.2), libghc-s-cargot-prof, libghc-scientific-dev (&gt;= 0.3.6), libghc-scientific-prof, libghc-tasty-dev (&gt;= 0.10), libghc-tasty-prof, libghc-tasty-checklist-dev (&gt;= 1.0.3), libghc-tasty-checklist-dev (&lt;&lt; 1.1), libghc-tasty-checklist-prof, libghc-tasty-expected-failure-dev (&gt;= 0.12), libghc-tasty-expected-failure-dev (&lt;&lt; 0.13), libghc-tasty-expected-failure-prof, libghc-tasty-hedgehog-dev (&gt;= 1.2), libghc-tasty-hedgehog-prof, libghc-tasty-hunit-dev (&gt;= 0.9), libghc-tasty-hunit-prof, libghc-tasty-quickcheck-dev (&gt;= 0.10), libghc-tasty-quickcheck-prof, libghc-temporary-dev (&gt;= 1.2), libghc-temporary-prof, libghc-th-lift-dev (&gt;= 0.8.2), libghc-th-lift-dev (&lt;&lt; 0.9), libghc-th-lift-prof, libghc-th-lift-instances-dev (&gt;= 0.1), libghc-th-lift-instances-dev (&lt;&lt; 0.2), libghc-th-lift-instances-prof, libghc-unliftio-dev (&gt;= 0.2), libghc-unliftio-dev (&lt;&lt; 0.3), libghc-unliftio-prof, libghc-unordered-containers-dev (&gt;= 0.2.10), libghc-unordered-containers-prof, libghc-utf8-string-dev (&gt;= 1.0.1), libghc-utf8-string-prof, libghc-vector-dev (&gt;= 0.12.1), libghc-vector-prof, libghc-versions-dev (&gt;= 6.0.2), libghc-versions-dev (&lt;&lt; 6.1), libghc-versions-prof, libghc-zenc-dev (&gt;= 0.1.0), libghc-zenc-dev (&lt;&lt; 0.2.0), libghc-zenc-prof
Build-Depends-Indep: ghc-doc, libghc-boundedchan-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-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-megaparsec-doc, libghc-ordered-containers-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-prettyprinter-doc, libghc-s-cargot-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-lift-doc, libghc-th-lift-instances-doc, libghc-unliftio-doc, libghc-unordered-containers-doc, libghc-utf8-string-doc, libghc-vector-doc, libghc-versions-doc, libghc-zenc-doc
Package-List:
 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

</pre></body></html>
