-----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-3 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://github.com/GaloisInc/what4 Standards-Version: 4.6.2 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 (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-boundedchan-dev (>= 1), libghc-boundedchan-dev (<< 2), libghc-boundedchan-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-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-megaparsec-dev (>= 8), libghc-megaparsec-dev (<< 10), libghc-megaparsec-prof, libghc-ordered-containers-dev (>= 0.2), libghc-ordered-containers-dev (<< 0.3), libghc-ordered-containers-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-s-cargot-dev (>= 0.1), libghc-s-cargot-dev (<< 0.2), libghc-s-cargot-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-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-unliftio-dev (>= 0.2), libghc-unliftio-dev (<< 0.3), libghc-unliftio-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 (>= 6.0.2), libghc-versions-dev (<< 6.1), libghc-versions-prof, libghc-zenc-dev (>= 0.1.0), libghc-zenc-dev (<< 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 Checksums-Sha1: 26625170b577b7202819f7b919a1b1e4112feeec 421304 haskell-what4_1.5.1.orig.tar.gz 703b916fe1a4561d73ef4f1a63849b6fa27713f7 3492 haskell-what4_1.5.1-3.debian.tar.xz Checksums-Sha256: 35775a0f26ae31148b298307bce4f1b0796a22a1f307361dd8347ddaaf3f3108 421304 haskell-what4_1.5.1.orig.tar.gz 572a7cd4e45c2ffc04ba7b0fc226656cf12cb2122f53fa9be4cd5fbf2661d845 3492 haskell-what4_1.5.1-3.debian.tar.xz Files: 2f503ef5f43eedb0269729f7d7af32e0 421304 haskell-what4_1.5.1.orig.tar.gz 20305ebcc573be6069e2095821709c33 3492 haskell-what4_1.5.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVGL80UHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxT+xAAt7DbU69Iu+gNjCvHCTvLhJrsckaK qHtFv9YEsRY8HP6WMdbkp7u7nTZ75FxPY/iNbjj5XxfvRunOpptzGmfbE1FWyFIc 1b28tXHsoQYbT0waQjaTd4Bj2J18XwCNfPl5/K1COVRBxOVzFZ07ntDz4gV39Tdq M2h1oUnCLMaMCILe4yGpGIaF3yOahrPaKgJ3gYec4bMsmnC4EwRTNADMCT3VoSk0 1F1ug77mQVQFsrj/ySh1i+0BVYuy7qI5HI691hJI94VBFk+Vv3+Avc2/h+xgTQiY PE9YWn7kRZQKUxa+A3Vw63+cBzVM9Y6Zdmnq2SdbfMQSrECTWsZsto9LdOaw/QEF /a53NI+xta6rw8LgbHVaOtn5ZsPKUaKSRPbFpnAyB8q5XMC8d8ZFyvd5s2dgkIhe wMxTWuHqLzL2xAm3U993PDHSj941Aycm0gNZRqx38LJxRC+mfQ1DO6xER7k2ub2k Qp+Rs475gRPxgOV1EjAfHQXWsGpdXHAP/Z+RCj3mIF3L/tFiWwHRhTJ81DXyQE5k IogzWHF+sBeqHBo7pkobk8SnvEY5USUNF3lZt8nnV2K25I53a9Es/IE9Pnj9aGRV hukMg7xzSNlzGDbZVNoCC00l+608f/lk8oM5k3fbgAJy+bYMT6KS9pVXMqP7AjEL 7E1fDzJm6hx5vJg= =E6w8 -----END PGP SIGNATURE-----