-----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.7-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.7), libghc-copilot-language-dev (<< 4.8), 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: 369f6fc2c59b51a368fc83bc6b114d67f7081519 20015 haskell-copilot-libraries_4.7.orig.tar.gz ad933914ad932b68dc746abf9e18e1a0e2b1a421 2652 haskell-copilot-libraries_4.7-1.debian.tar.xz Checksums-Sha256: 330e7037b3b0c8ad34efbcd30b3129a396e0d6fc3822676c8bc62f735eb69709 20015 haskell-copilot-libraries_4.7.orig.tar.gz a8161e485f960118a516d36332dff85939c3c91e938375d36d5f6a32dc6f23db 2652 haskell-copilot-libraries_4.7-1.debian.tar.xz Files: 4477b7235ea03209a564d6e80acca151 20015 haskell-copilot-libraries_4.7.orig.tar.gz 106ccbcfb7cc8aa1ec5a26d83a57760d 2652 haskell-copilot-libraries_4.7-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmnFmScPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiSOIP+wY1KH1VX/O2xPA5velL3KhWQPV1CGjtI2Sx io2xvihcTAOZ8f04Wm0nvKWjPzOjn/oDbWnOV8EepzWcYO96bAaOU/3kcpF/rInd dhOhi9UTIRXzFhWx74dmpxiVpkYhEdl9pNh+CERWYi6vEtUStvVtmnl/wZBdX2mv C7+LmuLpRI7dJNRuEWgSIFmP5ve14oz5i0x8kZ5OqtNCFnh5kQVB8uk4eMyp64PM 2kfarWzlBnkD4YgGp100zfs11I2N9atYMlTHdFzsgpF2GcC/RcLASMATK/3IGCI9 5m2oN0J4zS6aykM+4dU+0223vpfKi7rz3sM5tebkdRlAPEQvgOr4Uj/NlZc3A0Tm ZmhSgOq3hSbZiyRTJ5DsYqv1b3rx6e9ANgbYctcx0wdfP2XlDyGvRPozyQiJuMFh oeQYnR6LLV/0E9eFkRpt1EyB4exXBbmWwGn/06uGsRqOSlhP+U8PvWDIh6o0iexs MRKFFrFCX8NFuBTM2sl2FzNeLGtu/CjjHItTbzHTQecEa5J/Lb0c1whAZifY8P6U enGKKzbFtDc/HMQT6vTOP5qvwyXCItG3pbAH/HUZqFWv4AoocGnXkKMFxgN2j24H 4znntekQ5PZ9JqyPe+b6bhtXIDikVxSGtC6w1daRfq5agDpeNJghVYwSXP6qevqs v0O0IXtE =7LYd -----END PGP SIGNATURE-----