-----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.8.0-2 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, dh-sequence-haskell, cpphs (>= 1.20.2), debhelper-compat (= 13), dh-elpa (>= 2.1.5), ghc (>= 9.4), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-stmonadtrans-dev (>= 0.4.5), libghc-stmonadtrans-dev (<< 0.5), libghc-stmonadtrans-prof, libghc-aeson-dev (>= 1.4.7.1), libghc-aeson-dev (<< 2.3), libghc-aeson-prof, libghc-ansi-terminal-dev (>= 0.10.3), libghc-ansi-terminal-dev (<< 1.2), libghc-ansi-terminal-prof, libghc-async-dev (>= 2.2.2), libghc-async-dev (<< 2.3), libghc-async-prof, libghc-blaze-html-dev (>= 0.9.1.2), libghc-blaze-html-dev (<< 0.10), libghc-blaze-html-prof, libghc-boxes-dev (>= 0.1.5), libghc-boxes-dev (<< 0.2), libghc-boxes-prof, libghc-case-insensitive-dev (>= 1.2.1.0), libghc-case-insensitive-dev (<< 1.3), libghc-case-insensitive-prof, libghc-data-hash-dev (>= 0.2.0.1), libghc-data-hash-dev (<< 0.3), libghc-data-hash-prof, libghc-dlist-dev (>= 0.8.0.8), libghc-dlist-dev (<< 1.1), libghc-dlist-prof, libghc-edit-distance-dev (>= 0.2.2.1), libghc-edit-distance-dev (<< 0.3), libghc-edit-distance-prof, libghc-enummapset-dev (>= 0.6.0.3), libghc-enummapset-dev (<< 0.8), libghc-enummapset-prof, libghc-equivalence-dev (>= 0.3.5), libghc-equivalence-dev (<< 0.5), libghc-equivalence-prof, libghc-filelock-dev (>= 0.1.1.5), libghc-filelock-dev (<< 0.2), libghc-filelock-prof, libghc-filemanip-dev (>= 0.3.6.3), libghc-filemanip-dev (<< 0.4), libghc-filemanip-prof, libghc-generic-data-dev (>= 0.9.2.0), libghc-generic-data-dev (<< 1.2), libghc-generic-data-prof, libghc-gitrev-dev (>= 1.3.1), libghc-gitrev-dev (<< 2), libghc-gitrev-prof, libghc-hashable-dev (>= 1.3.0.0), libghc-hashable-dev (<< 1.6), libghc-hashable-prof, libghc-monad-control-dev (>= 1.0.2.3), libghc-monad-control-dev (<< 1.1), libghc-monad-control-prof, libghc-murmur-hash-dev (>= 0.1.0.9), libghc-murmur-hash-dev (<< 0.2), libghc-murmur-hash-prof, libghc-nonempty-containers-dev (>= 0.3.4.1), libghc-nonempty-containers-dev (<< 0.4), libghc-nonempty-containers-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-pqueue-dev (>= 1.4.1.3), libghc-pqueue-dev (<< 1.6), libghc-pqueue-prof, libghc-process-extras-dev (>= 0.7.4), libghc-process-extras-dev (<< 0.8), libghc-process-extras-prof, libghc-regex-tdfa-dev (>= 1.3.1.0), libghc-regex-tdfa-dev (<< 1.4), libghc-regex-tdfa-prof, libghc-split-dev (>= 0.2.3.4), libghc-split-dev (<< 0.3), libghc-split-prof, libghc-strict-dev (>= 0.4.0.1), libghc-strict-dev (<< 0.6), libghc-strict-prof, libghc-unordered-containers-dev (>= 0.2.10.0), libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-prof, libghc-uri-encode-dev (>= 1.5.0.7), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-vector-dev (>= 0.12.1.2), 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.2.2), 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-enummapset-doc, libghc-equivalence-doc, libghc-filelock-doc, libghc-filemanip-doc, libghc-generic-data-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-nonempty-containers-doc, libghc-parallel-doc, libghc-peano-doc, libghc-pqueue-doc, libghc-process-extras-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-strict-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: a53d37be8b37af97b655635f3a85f352528bc9ae 1951997 agda_2.8.0.orig.tar.gz d24abd864c20cb0e69a9fbe6d0a99ca39d143751 10632 agda_2.8.0-2.debian.tar.xz Checksums-Sha256: 86841907e78a5aafcf57b09edb7d50036f7de1b2217c8b58e2c57d6004969ba0 1951997 agda_2.8.0.orig.tar.gz 2d2f93db47b8f92d940c803eb6804f9e1534fda2b7c2bd1db21806ea939cf9d5 10632 agda_2.8.0-2.debian.tar.xz Files: d8cca2bca1d80034f486ad499a00e5e9 1951997 agda_2.8.0.orig.tar.gz 7a01160f5dddfa1a7bf19fc4feee63bf 10632 agda_2.8.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmmR09IUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxerw/9GOtsPSRIL7IDuef8lExe+AsvY62e Mcup6vZ49pyVBL4t+tYmpfmzG1BTaUuuw4oBtGz5tDCzabC7E+lLlFQ4vCQNCGkC 2yTr0UeXoO66fNRqUhib3l3CFGueQnOjcBmr5Iaiha/e7Aa+9nz1VbVAnHS6KE37 8hKDw8mc0BKMBDOjOz/L9Mm08CiHGNXtb3n6F73CaAe/ChvF15rp6TKqUX2wAjT5 /QMIqMXjL/eQSg7+hBZd79r5WypDAs47XTZGdqBvLQJ6qTZinNVioNUeTrqftFMi Ro77di5Tn8KuFd4JiYoc/RWt4NtpsgR9PmBa9lI61yMOC39gh+HMwyKya3oBgc9s d00KBqXGsIgE646OoGfBqRP6fapRi+YzrqHNitdyu30IwdZl9JLPzRAgjZ08z2Jx QsYmvot+Gem4gFQgSSWcvR02aXHWjWC6l2hW1mqjnQi/qJBJ0ui4StVHF+Rzd+sb 1SzCIX4Vuoww7Amz/RfIrFM/QrjokCg0q7Q5gfkWCIKcjLhK7NarYGiGp5MNaWb8 BWNZ8Ju5P5TnMoWANGsgqh7OlfqEw4CIFhwk7JAyXyX3rua5aM8YkNL05O6H8qiv YNRDelM+nqqT5ERBAkClYybAgE2DG67cJJZXjjEuq/RjaYeT3qXh0O24VmLkOzmT EgnJpm/MmcOYVsY= =SwFO -----END PGP SIGNATURE-----