-----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.5.3-3build1 Maintainer: Debian Haskell Group Uploaders: Iain Lane , Kiwamu Okabe Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 4.0.0 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git Build-Depends: alex, cdbs, cpphs (>= 1.20.2), debhelper (>= 10), dh-elpa, ghc (>= 8), happy, haskell-devscripts (>= 0.13), ghc-prof, libghc-edison-core-dev (>= 1.3.1.1), libghc-edison-core-dev (<< 1.3.2), libghc-edison-core-prof, libghc-async-dev (>= 2.0.2), libghc-async-dev (<< 2.2), libghc-async-prof, libghc-blaze-html-dev (>= 0.8), libghc-blaze-html-dev (<< 0.10), libghc-blaze-html-prof, 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-edit-distance-prof, 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-geniplate-mirror-dev (>= 0.6.0.6), libghc-gitrev-dev (<< 2.0), libghc-gitrev-dev (>= 1.2), libghc-hashable-dev (<< 1.3), libghc-hashable-dev (>= 1.2.1.0), libghc-hashtables-dev, libghc-ieee754-dev (<< 0.9), libghc-ieee754-dev (>= 0.7.8), libghc-ieee754-prof, libghc-monadplus-dev (>= 1.4), libghc-monadplus-dev (<< 1.5), libghc-monadplus-prof, libghc-mtl-dev (>= 2.2.1), libghc-mtl-dev (<< 2.3), libghc-mtl-prof, libghc-murmur-hash-dev (>= 0.1), libghc-murmur-hash-dev (<< 0.2), libghc-parallel-dev (<< 3.3), libghc-parallel-dev (>= 3.2.0.4), libghc-regex-tdfa-dev (<< 1.3), libghc-regex-tdfa-prof, libghc-stm-dev (>= 2.4.4), libghc-stm-dev (<< 2.5), libghc-stm-prof, libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-strict-prof, libghc-text-dev (>= 0.11.3.1), libghc-text-dev (<< 1.3), libghc-text-prof, libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-unordered-containers-prof, libghc-uri-encode-dev (>= 1.5.0.4), libghc-uri-encode-dev (<< 1.6), libghc-uri-encode-prof, libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.7), libghc-zlib-prof 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-monadplus-doc, libghc-mtl-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-stm-doc, libghc-strict-doc, libghc-text-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-zlib-doc Package-List: agda deb misc extra arch=all agda-bin deb haskell extra arch=any agda-mode deb oldlibs extra arch=all elpa-agda2-mode deb editors extra arch=all libghc-agda-dev deb haskell extra arch=any libghc-agda-doc deb doc extra arch=all Checksums-Sha1: 10378949e5d360b0901b7d1651ae8f1820263eea 1201344 agda_2.5.3.orig.tar.gz 2e7cb61a10f6b07305aa8a9bf9d542cd35bea630 9800 agda_2.5.3-3build1.debian.tar.xz Checksums-Sha256: aa14d4a3582013100f71e64d71c5deff6caa2a286083e20fc16f6dbb0fdf0065 1201344 agda_2.5.3.orig.tar.gz ab4eb698aff253546c46d39882c2413141becb0fc6b5ee462ad54e2d0c6bc879 9800 agda_2.5.3-3build1.debian.tar.xz Files: 3cab31f59cb3f49137fb6b64ba70125f 1201344 agda_2.5.3.orig.tar.gz 0673e775555dd4701903086acd087f1f 9800 agda_2.5.3-3build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJaGbw/AAoJEPNPCXROn13ZUX4P/0peVH9PIb+pRXus7zwVBKQr hbeRn6D2BC6V2nxq4Xm3QfeuXYwGNsg4WJQyhZDgQsdQkHFpc8Y6bK8pLbFDYbzb sHazig5ZA7KjqowK88ZqyBV63WjF35ZWFrwb09yNCSs4xcN2/aHgLuTbIGeBqqkG CG7rPeUHI1qMkCwAI7gTanYH/znydFU5ptfBW1K7OIOH/1MCe2Ty0NI81J6ceLmf e9KITe7kFQBg6F0Alwf/KOV0fMB0Vvra3FTHzeW1wg1OBA0LoSVTwsSMG7rad5bK t3ptF6Vp3rgXkPZXZFkULBzpl53hIqtDvn3DIChwhoqnGuX6N7/97p3kUwHJ/9/7 6KVUv816dO7Ka+AVT1U2dMM+1zK08vWNMfk35feK7jdx5wQGq7isFEimGJbqE1oL MKUyoerQ7uFaQqMDrUizZ9E8PFQYDevo9DJsIoAz1dqzTtVb/qlszeafvyavnayT 3VPrf+WgNJHI6u2gJ4szZcWf8/gZEAIoHuyavANkmsfhWp4dLf8mbuGuVO/U3QW7 RWxsnVPhpcw5i1HswQd9a0+ieMyi8tOQ7cg7gbtk3OVUhdzpUjoGRGcfOvZnnl8+ TzQTu/ONXtGgc1Vjh8ubp3jpEzAoUaPpNqXNosi0gMVj/EterVVMF2dZPMsaWFDr gyfkXvmqmMOv4dYgkrhi =Ww4m -----END PGP SIGNATURE-----