-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 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.1.1-3 Maintainer: Debian Haskell Group Uploaders: Iain Lane , Kiwamu Okabe , Sean Whitton , Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.8 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.19), debhelper (>= 9), 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-api-dev (<< 1.4), libghc-edison-api-dev (>= 1.3), 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-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-monadplus-dev (<< 1.5), libghc-monadplus-dev (>= 1.4), libghc-mtl-dev, libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-quickcheck2-dev (<< 2.9), libghc-quickcheck2-dev (>= 2.8.2), libghc-src-exts-dev (<< 1.18), libghc-src-exts-dev (>= 1.16.0.1), 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-api-doc, libghc-edison-core-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-monadplus-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-quickcheck2-doc, libghc-src-exts-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: 45ac3b0a42420e3c528eff5bd0c0bfdf8f55886d 1175603 agda_2.5.1.1.orig.tar.gz 5605b756747ae30facc3beaf94a780fd44953906 9020 agda_2.5.1.1-3.debian.tar.xz Checksums-Sha256: 563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 1175603 agda_2.5.1.1.orig.tar.gz fc5425eb7e3305a5aef67ebdd4b7e4e57bd8342c14f49a006545e6e8eaa29537 9020 agda_2.5.1.1-3.debian.tar.xz Files: 801ee9f0f3d0795c08144855b070415b 1175603 agda_2.5.1.1.orig.tar.gz 710dd593fd7017a824af533fdd74c248 9020 agda_2.5.1.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKOBAEBCgB4BQJYEolNXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1 NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioFHkP /RWD1rZYZXYIw8FJ9yNs6BLNlljEDiEp3fHp6wUrLwQS7orPtQwu+IaWIQ1S//AT kyPdeEmCsXzMLYGlyMt0WbwR+exjyIINp4Co8j32sjkdcwvu/0ulv+T1qk2ea4co KUZKpcfGFzUNRFfAr7NVnbvgxDb5IbFJduUYVH5YpA6WXBG3Fevj08fuoR8XnhWI ZDrKpEuDOjWERS5aphOPUhOaXyHThjBNtipNz0Ax2UCuT9YpFaYpRQXFNPVt52/B JYU4vNLnBrKD0vrKuoPB7FNZCFkIeDXoFNnENGIz7P4A1Le/BYJTrI6PL/O07Z3E D0TnBoDnR/VduR4+WT7W/Z1sBqUuWdvtKvS8fk5rXAucg5Nw2WHaKwacIGrFlEdo rLttsYLJ0D5R+cYBxaQDSEvrDJHId30F6+W6t4zy/fiuNLDic/XCOqxyVDzcEuaR lHA8BbQWnmM3Ke4l692mBdQ1Fl7YD8M93fRYtIn4n/mefrG6AFVIdAJ3N6liaJWi 9rQLuPtoSvDHONY7tYGDRo9gqr/HeloD8eFiom6ENRNBGsGJSBMlFEvkjtiN9zlM wRydAdPRDtnYyS7cc+5hCTzAPzpI5WEJpL/HI2QKrxZe6k0S2VrX246GOs/vWCj4 OSY9D3Lg/P7c9kQDWHDzyw6IBIEZ2nMEcfmFRr/ejtoz =sCaq -----END PGP SIGNATURE-----