-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda, agda-bin Architecture: any all Version: 2.4.2.5-1 Maintainer: Debian Haskell Group Uploaders: Iain Lane , Kiwamu Okabe Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.4 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-edit-distance-dev (>= 0.2.1.2), libghc-edit-distance-dev (<< 0.3), libghc-equivalence-dev (>= 0.2.5), libghc-equivalence-dev (<< 0.4), libghc-geniplate-mirror-dev (>= 0.6.0.6), libghc-geniplate-mirror-dev (<< 0.8), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.2.0.2), libghc-hashtables-dev (<< 1.3), libghc-mtl-dev (>= 2.2.1), libghc-mtl-dev (<< 2.3), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2.5.0), libghc-unordered-containers-dev (<< 0.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.7), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.16.0.1), libghc-src-exts-dev (<< 1.18), libghc-text-dev (>= 0.11.3.1), libghc-text-dev (<< 1.3), libghc-transformers-compat-dev (>= 0.3.3.3), libghc-transformers-compat-dev (<< 0.5), libghc-quickcheck2-dev (>= 2.8), libghc-quickcheck2-dev (<< 2.9), cpphs (>= 1.19), cpphs (<< 1.20), happy (>= 1.19.4), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-text-doc, libghc-unordered-containers-doc, libghc-zlib-doc, libghc-strict-doc, libghc-src-exts-doc, libghc-transformers-compat-doc, libghc-quickcheck2-doc Package-List: agda deb misc extra arch=all agda-bin deb haskell extra arch=any agda-mode deb misc extra arch=all libghc-agda-dev deb haskell extra arch=any libghc-agda-doc deb doc extra arch=all Checksums-Sha1: ef6aaae9e0b3458157fcfc430776ef5d578ac1ff 1031427 agda_2.4.2.5.orig.tar.gz 78b08f0d64744b47b556251646f37c9072024ab3 7776 agda_2.4.2.5-1.debian.tar.xz Checksums-Sha256: 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee 1031427 agda_2.4.2.5.orig.tar.gz 31c1eea4fd7f12903e78dfcadaeda4ef8f2e4db8e91801bceb9ccf56e802ef6c 7776 agda_2.4.2.5-1.debian.tar.xz Files: 225633ca20a33c099d8490987392513d 1031427 agda_2.4.2.5.orig.tar.gz b91132e15373476a0ceea0c5e126e8ab 7776 agda_2.4.2.5-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWimx6AAoJEONS1cUcUEHU5qgP/3nyM4sFC6SmgwTzXRnVZOAd a3hZ/SlL2J4G/xnxPip1wzyXpLGVEjzQlG36/Z3dEhRXqviZILfHquDj9FA4QZRt A4sy734IEPDskFU5OP4L3qHfFgRrnqYBdIVlRza+LIcMuuVdFXhrbg2BHMEDYeEk ePsy7TrfjT9tIsRh6ToAYr08+FUNe2WgyhX97vPw/CNHcPt+MiCW8NeSjqeO6e/C +3CFLjEAhsnxexgXyCfykd8Tf25Uf3w9DJYG+xB0NoO8EMuHlIXPbMLdsqD0lMSl N76KBtnvhbMAnLNcTY/W9xPOExdz32CPKLdPgOM5gCiAYzAKEpFHjM38nB4RtxGL f1mUETzzFBTcVsPr/qomjcG3xx/B1W2M5TDjpKFMbpU9XFhPnVIZDa41TXus52M4 zjiozwwiZ76nGl3aA858c8AuX1tjP5Qw9ofDSfqfbGvHFzo+aMTq77lwBxP3s/pL fFK/HPHAIx7VkjV8eamnVYAOHeF942yl+cF+C6O+L3pKbRQVW63JucA3eOTJQVuI Nwom95Z8d+kIsKbWJD6HQflR3DUPBmnMiEskiw8ia77ueVLh4ztoT1dHMPrMW5OZ Mmwu7h9jANePzq7cekgASLOKcgvUO51z/U3YRpBBfiC+2bGZGw4KVou8qgpvg0cN 2YYjJNZmYJA227InSd9M =BfaK -----END PGP SIGNATURE-----