-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: agda, agda-bin, elpa-agda2-mode, agda-mode, libghc-agda-dev, libghc-agda-doc Architecture: any all Version: 2.5.2-2build1 Maintainer: Debian Haskell Group Uploaders: Iain Lane , Kiwamu Okabe Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.0.0 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa, ghc (>= 8), happy, haskell-devscripts (>= 0.13), libghc-boxes-dev (<< 0.2), libghc-boxes-dev (>= 0.1.3), libghc-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-dev (>= 1.3.1.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-dev (>= 0.2.1.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-dev (>= 0.2.5), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-gitrev-dev (<< 2.0), libghc-gitrev-dev (>= 1.2), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (<< 0.9), libghc-ieee754-dev (>= 0.7.8), libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-dev (>= 0.1), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-regex-tdfa-dev (<< 1.3), libghc-regex-tdfa-dev (>= 1.2.2), libghc-strict-dev (<< 0.4), libghc-strict-dev (>= 0.3.2), libghc-transformers-compat-dev (<< 0.6), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-dev, libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-zlib-dev (<< 0.7), libghc-zlib-dev (>= 0.4.0.1), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edison-core-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-ieee754-doc, libghc-monadplus-doc, libghc-mtl-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-strict-doc, libghc-transformers-compat-doc, libghc-transformers-doc, libghc-unordered-containers-doc, libghc-zlib-doc Package-List: agda deb misc extra arch=all agda-bin deb haskell extra arch=any agda-mode deb oldlibs extra arch=all elpa-agda2-mode deb editors extra arch=all libghc-agda-dev deb haskell extra arch=any libghc-agda-doc deb doc extra arch=all Checksums-Sha1: e4337e996e2a5f5f08a12d341aeb1a59a7a69667 1240885 agda_2.5.2.orig.tar.gz 109f2ad5c6665b15dd69dbda835dc98ac3bfaf02 9076 agda_2.5.2-2build1.debian.tar.xz Checksums-Sha256: d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 1240885 agda_2.5.2.orig.tar.gz d40b2b8560b7bf3b6c30dea5964f2d936d417cf2a7fd980be6a9b00736104004 9076 agda_2.5.2-2build1.debian.tar.xz Files: 1f680a3d28fc7048279bb7f330285be8 1240885 agda_2.5.2.orig.tar.gz 2ef19f1c753e0d4ce0d7900c26bf9225 9076 agda_2.5.2-2build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJZadQPAAoJEPNPCXROn13ZUmgQAKVmPb/ITpBmkr4xp15CjEKR EY/aO9EN/3e2HzEsQDtgMncHRXtvu5dcOUrQ+RD1jO1ku6hzndAHYrwsvc5tFECY rZBBYuU5VzXafEeLNK/YXjwk1/eOm0QkdPEozD5FQamNKlBYzVmqOh251N7gr8pt HwYyI31h0luu+whx1fZ16xQP+tS4Brr0h7DhwuauZGDaAH87qgaBA79f9UPOoSyU 3+ZNSIyL7cp3qNtbOtbQL7m32XL+zfo8mx9KuGlPGzO8IT2f3U60gf/Mi1dXxNcq u0OIK0LHPt5JJiQS5dbM5gueSwAh2KRG+x9+PAJrnf/D56ZoUWI8ipcmDOa2kIub ibRxu8uA86PfhWbWck6Jqfbx9F0yZKcyBHgTJHFiKdrUgJTXb5pPylbnE1Hg9I88 b3YAMDrSGU4x2e+MtAh4D9EYrhLy8PYAdZ1cL0pqM6NLCfK1/bWpLuJtsJ+L/ZN3 8TDVnGbCENzsdMiqZDqAfyuhADUAVG84rSr/MPPpG8xvYll6BeitkQ885tZhs55o XgVN7cbUwUWACVmtB5m1A0YwcMbpMVFPX2AR0kVUJZE14TZsuXOnasSCPUIGm3/h mPqkmTv2PQkTr9WQpbFZXxUIjYMiMqWuQPGnT0rlZUfAk1dWIDKj2p6ZGPaxIy0u WffZZ5tII5MwAKtIfYMr =z6xX -----END PGP SIGNATURE-----