-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-copilot-theorem Binary: libghc-copilot-theorem-dev, libghc-copilot-theorem-prof, libghc-copilot-theorem-doc Architecture: any all Version: 4.6-2 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.3 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] Build-Depends: debhelper-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc (>= 9.10), 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.6), libghc-copilot-core-dev (<< 4.7), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.6), libghc-copilot-prettyprinter-dev (<< 4.7), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), 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.8), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, libghc-hunit-dev, libghc-hunit-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 Package-List: 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 Checksums-Sha1: a239a638fb503e61e3d869a7198684fc2468d269 71525 haskell-copilot-theorem_4.6.orig.tar.gz bd6cd321bf3cd53629854961714f23a75ac468d0 2936 haskell-copilot-theorem_4.6-2.debian.tar.xz Checksums-Sha256: 28efad628a931b8158fbc2d7227afb660daf06dd7dec0e323ef8d564dc44955e 71525 haskell-copilot-theorem_4.6.orig.tar.gz 445037aeefe562427c9401b33e228b1e44d3c6fcfabc6d0b367d564b16befcde 2936 haskell-copilot-theorem_4.6-2.debian.tar.xz Files: 45668134be6974c8284072fb7c750f97 71525 haskell-copilot-theorem_4.6.orig.tar.gz 56619327284d25f23bb23b4e53a594eb 2936 haskell-copilot-theorem_4.6-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmNG9QPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3ii2jkQAKrB0pNMx3zA4B4StivSK+t8kdxIyfYOwXr+ K123ReP5riBseizV0KXSOAkAA6bdTIVI0j4xlhIKw5gC1GST0BucRrINsv6sB67t KuXSFxtv18BpbDsxKIbqGtACtloC/b49j3czBYSPT/dW6WyIqBGNoGL+mraSaT5W nc+GJ2SLMrVmqskSaLfWd5YqvuqULqDeh+nCWfEE05tIzE0nLlM6BlK/b2ZkZini m0+z9hg3YPK9/vISRFpRRN9WtaMeQIYJYHzKE62gboXoBA6n+QZP40wH99pZRHLa YIFC4ZbJ8RK2jfMcR28jqzvmvX0fkiwPDbSxjTHcU8UEmOIrCEiQgmIqK5DxiFGR H5JxC5BhR5J9TdE+TLbr7Xg98V+rd3SN5hbJClNA1b+S6h5QJr1boLyBeqwrc4Ab W/ZS+o0/eZa6RwhGbgy/i0N0YcWcG7cZpT3GhnrBS1jy4xxhXHO7RMcE3ntyuHB6 GV90zgTjf3N5b870CyYz6q95OsDLWrSXWuOcr9+eWAedG9Uw0xmsJNVke6FPxtGK fUigZH4z04d5cPSdvAJbWKRLJ+UFbDOZRFxDA3vH0vZO1Om9ogp2Ddk9dondASzC L00c3LSLXgQSb5doRSCioPqmIWv8S8mwa9DuwXiXDFe0AbmzDAeIsWLMC9xmVvO2 0YcpDJhc =N+fy -----END PGP SIGNATURE-----