-----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.6.0.1-1build4 Maintainer: Ubuntu Developers Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.4.0 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), ghc-prof, libghc-edison-core-dev, libghc-edison-core-prof, libghc-aeson-dev (>= 0.11.3.0), libghc-aeson-dev (<< 1.5), 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-data-hash-dev (<< 0.3), libghc-data-hash-dev (>= 0.2.0.0), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.3.2), libghc-equivalence-dev (<< 0.4), libghc-equivalence-prof, libghc-exceptions-dev (>= 0.8), libghc-exceptions-dev (<< 0.11), libghc-exceptions-prof, libghc-geniplate-mirror-dev (>= 0.6.0.6), 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-regex-tdfa-prof, libghc-split-dev (>= 0.2.0.0), libghc-split-dev (<< 0.2.3.4), libghc-split-prof, 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-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-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-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 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: 91e6b136b91b160ea7e52426eba1eef850b075b5 2372106 agda_2.6.0.1.orig.tar.gz ed9ac90746d95bc8c8c3c4a8ffe682407975eb59 10220 agda_2.6.0.1-1build4.debian.tar.xz Checksums-Sha256: 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8 2372106 agda_2.6.0.1.orig.tar.gz 0d4953aef6fb090606e90a5c90425c9ca11108f3bb37c74f3b2e187c8c85b805 10220 agda_2.6.0.1-1build4.debian.tar.xz Files: 05c683172d1008cf6f3a2452a013b75c 2372106 agda_2.6.0.1.orig.tar.gz 5a3f8e6600246e3bcd9961e050a09527 10220 agda_2.6.0.1-1build4.debian.tar.xz Original-Maintainer: Debian Haskell Group -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4+nS8QHGRva29AdWJ1 bnR1LmNvbQAKCRC9fqpgd4+m9dD0D/9QSi62Fzw14j5WifFeWbD0kKD/tOQMosbA 2k3e/44wKN7vIbgvsVh9OAJz8PeveZstqZq2JEOw67RRsMKYD/jZouKYO9ryb4jL qVZIegkCiRAAV5B7HUfVEl25sBZNfLv1tYq8qeH6BYrPoZf3JzJo7Q0ktHWwFzka CnCfQHUfJG3chcujIROvC+fVbAH5yuQhK9fj90JkfA3H/iawiNJYzdKitUqxV1TA V3rlxn5t70pYNf2hHG3XQb0E6QT6P10kUsHY5uM6ddyDsxYLMVvlgQM/+k6Q1sP3 +XTn8x9ecY1AYbSB5pMWVsq3IBIRNbXTLGWI2WEQb4L+UmcWKEOWQRsf3SJyjlc0 xMjSHtz/w+FpE1NewocDmUQoieF8/F3yTl/FEXs0Kbyfc7zIRRvE3vTd+yzDHePH qRpVXBBdrdBcWc/OnmbnqpIlsF+u5DBUIn/EgaR1fo7cvNzxGzQCt0JbhZ2USs79 ZMaU6fXPbRYBZ1Id0IrO0efyyJL+VijUVLB3klxweLTWAiZduaA0Uf8TJZqTxv5e Z2O5e2o5y2Ake5/E8fiycdgughPmdto6ab3fHSH3YP7RDsMpokQMrPWS61GhviSq PsE+ojyZvRrlUCIfHB5wrxoM+I25Q8Wk4eR9eHLvH9MIlmQNAXz4g7GqG3NupqIa DlFsD9IYqA== =Z8LN -----END PGP SIGNATURE-----