-----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-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.1), 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: 63751b855e4adc9a2ed48bc71c6f64af50f88c92 20862 haskell-copilot-libraries_4.7.1.orig.tar.gz 5ddb7a3e053f3522ddb2667007a9c10b2984c9f8 2668 haskell-copilot-libraries_4.7.1-1.debian.tar.xz Checksums-Sha256: b2dccf1035e0ef8951c318f7bdb66121cd05219b3bb7bc3a17a019c2b2a568e7 20862 haskell-copilot-libraries_4.7.1.orig.tar.gz bfe9e9d16d4725496be8b4730abc152f20ce522a57386b43d6bd343ae68bc885 2668 haskell-copilot-libraries_4.7.1-1.debian.tar.xz Files: 26d2287bc278e800837cd071c0d940fa 20862 haskell-copilot-libraries_4.7.1.orig.tar.gz 8d84de9c28d27bae681cbda34f0ef98b 2668 haskell-copilot-libraries_4.7.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmo3IXkPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiHAsQAIUG7tY4hQ/lWbPbAca7dq5loiMtjL4osNM9 EdA22IHp8QMKlSLJ95wmKgJgGTpfi7xMKXnua7TaZxP6Kofzl7Kuic4kPpfcLV1A 40Q6IOIoOXldfy7+wyPAxCRUk5hpA5d7ubpybMhEoCw6ItQ8U9hB3T8L1mUrIade Jl6+WfZim4lel5v07YcE5nxD7w0byNv/GzaaWIenBIhDf8tFuNmgWpCgmCMBXObu 3OhsHeYNJ4lynx7RIMU4hIAcIqy97iCRzA7+piZj429zxfZ/2O6GAg0kxiC6REHL nC0+URntzQdIjbvZl9/XgKAxop25a0bS/iKLvPm7I/bUYcov7LVFVmaJhIiwWLSy nx1/kOrCoemJ2tbfpkmtuPutGfkJWmMzG+jtPK2ILGyFJatOlez94JpIqP9c0oRS eLRSwYc/uHIxWaqQ8VBQr9g/dOqwh92nIw3XqTC2cKiJbdTT5FCD8gSnfPQP3Cq0 SXheYj7/cM9vYaa9gbmqKeirXs74vd3lhYvFCipGXqk795Noi6tSxCDIXquGpiHa 04ivFwQAV4AIDPC1rmeimiA9ZeQWjm3mKHcv6hwT9jvb5uGZKvRYXh8cFwzGXRot VjwXaS0ha1CQm1FzkEM0oyOtaYwmxbaMolgX6orquWF0ADmK/IA7OBYl4fp3qsKO CeF5CP5l =DdS1 -----END PGP SIGNATURE-----