-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-copilot-libraries Binary: libghc-copilot-libraries-dev, libghc-copilot-libraries-prof, libghc-copilot-libraries-doc Architecture: any all Version: 4.0-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-libraries Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-libraries] Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, ghc-prof, libghc-copilot-language-dev (>= 4.0), libghc-copilot-language-dev (<< 4.1), libghc-copilot-language-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-copilot-interpreter-dev, libghc-copilot-interpreter-prof, libghc-copilot-theorem-dev, libghc-copilot-theorem-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-copilot-language-doc Package-List: libghc-copilot-libraries-dev deb haskell optional arch=any libghc-copilot-libraries-doc deb doc optional arch=all libghc-copilot-libraries-prof deb haskell optional arch=any Checksums-Sha1: 95a2865657116d79e0db546524925d7bb3a77089 19933 haskell-copilot-libraries_4.0.orig.tar.gz ee2fabd765e9fa3af4bba89a161d575105bb123a 2572 haskell-copilot-libraries_4.0-1.debian.tar.xz Checksums-Sha256: 794988390f8a11d6e6004186e3a2875d07d9e7e5a1b88b3b6105b709de25fc7d 19933 haskell-copilot-libraries_4.0.orig.tar.gz 2a2474991fc47e74d4f6d596b23238443b69802684084488b7d6bf2106cb1695 2572 haskell-copilot-libraries_4.0-1.debian.tar.xz Files: 7445cd974a2da22181d727c4be65e408 19933 haskell-copilot-libraries_4.0.orig.tar.gz 53271dc2190098851aae834cfae004e2 2572 haskell-copilot-libraries_4.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmbhCsEPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiIgAP+gLNXUPt3JcLzpzdGN/Qx8PiyzTQcYu86Y6f UQ8T1jbRAlhpVuF08kruJcwYaos+nsZkhmx5Aom2rvCbYT+nRsSJIk/ngSZ1V+5b t4CNWEEWevbxjNPsUX/Apr/+O3VfHnHRRLpT8wY2zkWiQBPwYkI+tVrJV7xusTDs QXL7zKwkpkLJluxarSguP8dul8hUbFR7rup+pWVOy2pAWwblesHlzm7sw/SuFKZ8 tCkIYDYsW08t4UHSgGJh94j452sQUSwpD1sJjRPhoXgxAYbj/TS2uPbchX8YaCkP mKIXo07Ogus8UZaDROeEo/4HfKSkoAhxdWvjEHMCwYrbv/Q18BCdrEtovE3aHbjj tK0dr30WSH6FK2Oy8uL0dvpwRWB8WAmi8jmTOoMSUXepgm0IXgMfJ/9gb6N0lDht O3NFnzyTJKJEl1Fq+vODvFCcXP7C1GYhhtlEEuh3jiiGKa0WXqUXI14Up7UHNU7O nNnjC5LjFF+q50Ul2fKvYI6UA2SxmvKv5t8M5JGJdo1OG8nP82sozC0IFwA1y6ul 48IopDjszPo/az5O5s3uDIQ8eSCf5OnK/ydknqMqUbue0mZnJsedgt1GiCRlA5gp QfKsk1M7K6oKQ2+OZmJneFvg4KIO9U8ooo40LFK6U/sHeNLLtaHaSUFWl1L27m/5 6/6ojChU =qPTC -----END PGP SIGNATURE-----