-----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.8.1-1 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-libraries Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-libraries] Build-Depends: debhelper-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc (>= 9.10), ghc-prof, libghc-copilot-language-dev (>= 4.8.1), libghc-copilot-language-dev (<< 4.9), 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: 9bcd04ff9ece706ae45954054117c918769a9907 20872 haskell-copilot-libraries_4.8.1.orig.tar.gz b6a951f4483f3c74499f4fa3700d01cd269aeade 2692 haskell-copilot-libraries_4.8.1-1.debian.tar.xz Checksums-Sha256: 06a9f5f4ef5dab0c25f2f167337b9a4525b8f8627a1bc4b86c19158ee40276f0 20872 haskell-copilot-libraries_4.8.1.orig.tar.gz 6252a27369d48b8be4610551527c8d70f4c67ade2ba6bc6cc74395616a504983 2692 haskell-copilot-libraries_4.8.1-1.debian.tar.xz Files: 1ffe80cd6a9e6cfc45e9325d51020e72 20872 haskell-copilot-libraries_4.8.1.orig.tar.gz ce6d2b21f9ea9ab5a2aae8565286a01a 2692 haskell-copilot-libraries_4.8.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmq6we4PHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3ii7E0P/jQaUj7nEPSeDuN+5FpQXAXMr6A98Zv2sUDK b7WTnU3oBYmUdNAGYUmZdb6LnbIXPDn9IiH3ENVuqICzcmUgcu8IXBxGIIWRCJZ6 2Guf1CAiOBkcOkuonnGvIIvN3qdDBV9xsZfemZ2r7yN9s/z/C2gP621Z7k2ATeQK 0IGMAj737MUzDMjgcxV2XOPS6ZN5SGSgoGQ8SaRclNaRJcB3ZCsG1MfM8MYal//5 Bb9BJre/kWrVRftW/Od9UqV944Rytk6CggcMPQehOoDB5ImmHASxm60xDsIE+bk9 2i9dlYYMebAExuey9pt2tm5ebK7g2h8wQcWl/E3eX1F7KdanGN1sc86ZrlCFUCd2 5bAL2V8nPj/rvbUvbWtqpCZMVRCRPZ1kAgWmbFsyeTV6ekkfoSIax6v7U0lx7ixY u0PZndUy/RvBWJSN46ewd1hPdt9e5b09aW6hK9aAf2bYBC8oDo8DtJGyqiYAFOYj CbIXfOZezN8NRwUTaXkcnHOYJOPhukl5vJl9GFs7Le4twryVRu3Fu2bhNnKq8iOf 0FrYuX45EwtdHlVlzOCcTUiZq4UH1IxzCXCsz/oQuDbstvWuLhKv28pruqDDFvQ3 JmhztFfCpUbR02eUntseYmu4sS5/kua0//Z0Ds19NBP7JRzn+i91fMkJk/l0cAkx 5fmd8tP9 =1rMI -----END PGP SIGNATURE-----