-----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.4.3-1 Maintainer: Debian Haskell Group Homepage: https://wiki.portal.chalmers.se/agda/ Standards-Version: 4.7.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 (>= 2.1.5), ghc (>= 9.4), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-stmonadtrans-dev (>= 0.4.3), libghc-stmonadtrans-dev (<< 0.5), libghc-stmonadtrans-prof, libghc-aeson-dev (>= 1.1.2.0), libghc-aeson-dev (<< 2.3), libghc-aeson-prof, libghc-ansi-terminal-dev (>= 0.9), libghc-ansi-terminal-dev (<< 1.2), libghc-ansi-terminal-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-data-hash-prof, libghc-dlist-dev (>= 0.8), libghc-dlist-dev (<< 1.1), libghc-dlist-prof, libghc-edit-distance-dev (>= 0.2.1.2), 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), libghc-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.5), libghc-hashable-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-peano-dev (>= 0.1.0.1), libghc-peano-dev (<< 0.2), libghc-peano-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.3), libghc-split-prof, libghc-strict-dev (>= 0.4.0.1), libghc-strict-dev (<< 0.6), libghc-strict-prof, libghc-time-compat-dev (>= 1.9.2), libghc-time-compat-dev (<< 1.10), libghc-time-compat-prof, libghc-unordered-containers-dev (>= 0.2.9.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-vector-dev (>= 0.12), libghc-vector-dev (<< 0.14), libghc-vector-prof, libghc-vector-hashtables-dev (>= 0.1.1.1), libghc-vector-hashtables-dev (<< 0.2), libghc-vector-hashtables-prof, libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.8), libghc-zlib-prof Build-Depends-Indep: ghc-doc, libghc-stmonadtrans-doc, libghc-aeson-doc, libghc-ansi-terminal-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-peano-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-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: 9fc93f4a15f1e833d2075b4786b8898d9fba55f1 1869461 agda_2.6.4.3.orig.tar.gz b92a9b1e71732c4937fc3ba400bd6bcb3b83396d 10460 agda_2.6.4.3-1.debian.tar.xz Checksums-Sha256: 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2 1869461 agda_2.6.4.3.orig.tar.gz 634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd 10460 agda_2.6.4.3-1.debian.tar.xz Files: 8a27f437e1c7a822c1e191c802de5d35 1869461 agda_2.6.4.3.orig.tar.gz d39bca04b6137deb3462b25204c8a4ec 10460 agda_2.6.4.3-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcFDCEUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDzy0hAAknKs6dg95UhiAUTis/l2YgtBRxWS 3PT6WuEqovu3Kg2yXqN48136giEqjLhU2cNstExhIo7rqgTpNptENJDlqq1ikA6T dG2L+5A9N4evNGGbCWcvksGBRpo4njw95wTuMgniExygJG4SbTuNoZmLnf9rbnnG 66URwq4B3wiku5Gy23TaV4TMi0615HZQnlPcbp4k9vFeE/d/AUgRUlMwtfs6ITF1 Zs0gm9ny/V3EBPrdaId1ctZ1wkOlvE9U7U/FkrybjldytyKC+xkaLbayXHNmt/7t vlDG3dCvfD1wiJ4/v5TVUi9txgo1xpKQv15mg38sABSPS18PIcMLFCngt5Alz2ML PqUAB6RxfVYyLb7l6RU1twHHp8FwFhGHjw4MvKQ5h+JnA6nGI1QcHRdfXRY3zCQR bGs3gL3ZZzYmIjXKzi63aBKNmhJrKipDGNy3cSPzB6EwvAYMsuHFVxQrNfgrcuk5 P5wPqlZm3KomRK8sIjBnAtO9iQruIzY5yEdEPZEyhRqUOtzE+x4v51IytOnSgYzZ 1NNUsN6kmZFVASfZAaNs7kTj1CQ/Rk+B6N6EU2qcRIN3MTctvL3Ll9jbsWWNdTZZ 895Ltp0Acxoo0bLGSuO8GpP4Ny8kldgE6UIBwFoEaK/FSwQDI1nQ8drj6S/3CzU5 bmorUZjOv59aBb0= =XnIj -----END PGP SIGNATURE-----