-----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.4.1-3 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.1.4 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, ghc (>= 8.4.3), happy, haskell-devscripts (>= 0.13), 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-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edison-core-dev (>= 1.3.2.1), libghc-edison-core-dev (<< 1.4), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.4), libghc-filemanip-dev (<< 0.4), libghc-filemanip-dev (>= 0.3.6.3), libghc-geniplate-mirror-dev (<< 0.8), libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev (<< 2.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.2.0.2), libghc-hashtables-dev (<< 1.3), libghc-ieee754-dev (>= 0.7.8), libghc-ieee754-dev (<< 0.9), libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-regex-tdfa-dev (>= 1.2.2), libghc-regex-tdfa-dev (<< 1.3), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), 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-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.7) Build-Depends-Indep: ghc-doc, libghc-edison-core-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-data-hash-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-murmur-hash-doc, libghc-regex-tdfa-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 agda-mode deb oldlibs optional arch=all 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: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f 1989201 agda_2.5.4.1.orig.tar.gz ab63e7dbb99ca7ff60a63d5cdcbaefc907d04762 9928 agda_2.5.4.1-3.debian.tar.xz Checksums-Sha256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f 1989201 agda_2.5.4.1.orig.tar.gz aa66a9e92f0eb8132c99de531e6196ac9a9d8b7aff302622d8562249b7562981 9928 agda_2.5.4.1-3.debian.tar.xz Files: a805e2803e8ca937e754e80413075f67 1989201 agda_2.5.4.1.orig.tar.gz 840d04368b645d8e6e3ab5bce2e1a57e 9928 agda_2.5.4.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAlvLkrEUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzwYQ/+OfYjIcl8gOHr861cYXvyh1i08rt5 cqggE6Sg9s1VaX3HK6+MGQfPtK52Ue/iJAA7NGdVPuFBMIqnSUMygXblImYQ1Lec 7wKF7y2Wmz87haGrYq2jKXln6xw0obNV0doB5cNJpHGiEl1ccKQ2aTxnspFo1DYZ MATwfIy5sCP1UJWfmq68nL01JsnpIjKHhuPhrAENTQuv4/JrxlemIy7Mi6+S9jEP HVSy6kNBXROhAuVBE3+i8/9qvPU2oQ7kYKikTnESRpL/TR6gW41tiSX7GOaR8eQv TMW4eVFMnuLOfYD7YVFZRZOUQxk5jWrE6HoTW7nbosMMsqUZE4wEiKSdwqWxwkST P6ATUwj7ZT2KKo2crVDyq0TXJF1VrdsIi/IR/RsqdgsrIOzu6Cp4IiCgd35yABHz lotyHEU24hgQJ1u5uz+Z0mSp0116xZ80q0Fb1KR245xTVqbRx0pwkfQyH5ziU6MS TfKh3x/JK8fihVjDeXj4xMuzWIJc/kqd9FZefXNosd04ChMh6tCfK/X7wD9tsMGS XQqZu0zfZUbiSMR/d6x2iYS3MV8gSy0LAZyBY0h+whKmd9ihmWUBu88kdR0GIMxP GVSxbWV4BpM/rKYM3464AxHHzsaeLcpzyE8x1NJ3rRMGYxK8vIUVzA7G9FTieJZn KohHZcL8u4ghDuw= =Qp1q -----END PGP SIGNATURE-----