-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: agda Binary: agda, agda-bin, elpa-agda2-mode, libghc-agda-dev, libghc-agda-doc Architecture: any all Version: 2.6.2.2-1 Maintainer: Debian Haskell Group Homepage: https://wiki.portal.chalmers.se/agda/ Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda] Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa (>= 1.16), ghc (>= 8.4.3), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-aeson-dev (>= 1.1.2.0), libghc-aeson-dev (<< 2.1), libghc-aeson-prof, libghc-async-dev (>= 2.2), libghc-async-dev (<< 2.3), libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev (<< 0.10), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-boxes-prof, libghc-case-insensitive-dev (>= 1.2.0.4), libghc-case-insensitive-dev (<< 1.3), libghc-case-insensitive-prof, libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.5), libghc-equivalence-prof, libghc-exceptions-dev (>= 0.8), libghc-exceptions-dev (<< 0.11), libghc-exceptions-prof, libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev (<< 2.0), libghc-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.5), libghc-hashable-prof, libghc-hashtables-dev (>= 1.2.0.2), libghc-hashtables-dev (<< 1.4), libghc-hashtables-prof, libghc-monad-control-dev (>= 1.0.1.0), libghc-monad-control-dev (<< 1.1), libghc-monad-control-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-prof, libghc-parallel-dev (>= 3.2.2.0), libghc-parallel-dev (<< 3.3), libghc-parallel-prof, libghc-regex-tdfa-dev (>= 1.3.1.0), libghc-regex-tdfa-dev (<< 1.4), libghc-regex-tdfa-prof, libghc-split-dev (>= 0.2.0.0), libghc-split-dev (<< 0.2.4), libghc-split-prof, libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.5), libghc-strict-prof, libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-uri-encode-dev (>= 1.5.0.4), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.7) Build-Depends-Indep: ghc-doc, libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-zlib-doc Package-List: agda deb misc optional arch=all agda-bin deb haskell optional arch=any elpa-agda2-mode deb editors optional arch=all libghc-agda-dev deb haskell optional arch=any libghc-agda-doc deb doc optional arch=all Checksums-Sha1: 45d4df07f49602a6ce42b3e6a9152651e5d0716c 1690635 agda_2.6.2.2.orig.tar.gz 94446009af7881008f4c424bff2d0b12187ade12 10192 agda_2.6.2.2-1.debian.tar.xz Checksums-Sha256: e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a 1690635 agda_2.6.2.2.orig.tar.gz a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f 10192 agda_2.6.2.2-1.debian.tar.xz Files: 645087903c92b4cf387d62f3a4b47d08 1690635 agda_2.6.2.2.orig.tar.gz c4eb7ea0d037042e80480403d06bf13a 10192 agda_2.6.2.2-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLunxYUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzuXhAAt4KahvyhhBOmUXIzZsY/IGB6YOEC ZzzySf6tcBQtU6bJdgpH7rbUji2bgtPa3cesP6diUzRjwS4B3SJ509LnsuO3c5Xl 1NzKtg4+fbeJkChPGWwM1Q3inugEkZk9c4fHwqamcLikLoRfx4F3egO3TUyBEow7 zYzaAd3/Urh9+yoCdhFoXVqCXkGa87Rtai3zb6T8Jtkt/ePIlVXhQPtIMN/LsYvx Jmk0G5sQA5hK+5HVJNTY5NXlSn6EPA2zoVlhDrFpKwsT3/zxeSMS6AwV11oWp6XV ptTEDVvgTWeaJOFGBFu6bNIxiTq4okrr8rN8ounxbSTEhSnCidwgbfPbI1dF5TG8 Cv5AJxBeqnZMc90K63sIWoiBpQjAg6FnbJDjLHVg/rufYV+Xg57zzRa1l9qSsWjf 5V8GVcRTbzlxD3z6pbtiSRin8d7pm8+zYJTnO20vgC0e45JdoX83gqC2UI4VUFQG B5HcwOsHoep4aMGckwGqO+i9q8U8gvamMBaXouWKh/BS4IHI3i0dlfazfUgn3Ms4 Ry8z/DeaWwRXbcECr5OM0Xmn7eGycv2gVEXKwI/RzwO28byyc/IY5H7FFGRanL8M CSBpdst9thSUVQntd8QObyy/cfvC9lx69u8HNx1v9Dxy77CcyIsEu3M6ry6XU30P KaOMorkg+WWVL84= =FBYJ -----END PGP SIGNATURE-----