-----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.1-1build1 Maintainer: Ubuntu Developers Homepage: https://wiki.portal.chalmers.se/agda/ Standards-Version: 4.5.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 (>= 1.16), ghc (>= 8.4.3), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-aeson-dev (>= 1.1.2.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-gitrev-prof, libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.4), libghc-hashable-prof, 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-murmur-hash-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.2.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-uri-encode-prof, libghc-zlib-dev (>= 0.6), libghc-zlib-dev (<< 0.7) Build-Depends-Indep: ghc-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 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: e0b627b6c2ad270a7047e50fa31305601d057345 2646289 agda_2.6.1.orig.tar.gz 9dc27f51f7324f0932dac1951802050504c33b27 10156 agda_2.6.1-1build1.debian.tar.xz Checksums-Sha256: 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 2646289 agda_2.6.1.orig.tar.gz 73f4e0113b4ad6d97d05fb2e39f670350d3cdc1b4fcb4ee6db5edaee896c8887 10156 agda_2.6.1-1build1.debian.tar.xz Files: 6d3232fbf32443a9df3e58d4b793a963 2646289 agda_2.6.1.orig.tar.gz 8a4b2e9e1a4761ac08723a37ea95779e 10156 agda_2.6.1-1build1.debian.tar.xz Original-Maintainer: Debian Haskell Group -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl9G9/kaHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0XJg//WkXsEVodnE91Zzh5pP5J YKtKbWotjH6DEqQY4hh1JQj25rRwR028gyTJnPRh97IeUnoPgJmxfmKgVdzrjnZ2 9Sa26F3oBEz1ASU3D53hjOVuOzybpfqv6cIs0cfSAVD0VBaqLO7j6sC0A121Xxco YOkY9ThCAKXxgbLL14ZRCSHCghFgc9JfAPqbrLiDiwYKEuGkGRaG8YvWnBcFZrW1 lLW6nF58vgZ20dt3vptzGrTHsO7X3fVlOatIXAxSlJiIbwbnFyUyWFPgLftjngPy It9idXhC++Ar7S2PQ3z+vbW9F+t8CW6h7vu/7MFMDK0st54A5z2FtsWsS8PJR68j AFXpWa1ujsIwo4gHeuSsa37j07/lyAF+bVMxGxJjSLgGARI25FTO4JHddHvHowNL fe4wL7pFC/QZq387CUJYVCcttH3eKlLMLM6Bsv4Tgz0HDzHd36w6azH8dUhlEd2V bqKWjocUr9+cXBX8wa3VbGbZKccCjV5OMqbT/uPNZYhC06tyfSRhxRW4qRveVlnV iNpQ8w5ov4LB/uqhHwzlQVGYw3U8zBxegqA+fjI6tXgkP7BVqj6Pw9wfdOtBJAU4 6uNFIYWOJZBAJMLIqUJveadiXzzR4Dg55EbWicODXRNeQI7aSmvwMIS7QIt/OUqg JeFuzZTgVuEzV3eAhefMFFM= =oTxi -----END PGP SIGNATURE-----