-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: agda Binary: libghc6-agda-dev, libghc6-agda-doc, agda-mode Architecture: any Version: 2.2.6-7 Maintainer: Debian Haskell Group Uploaders: Iain Lane Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.8.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 (>= 7.0), haskell-devscripts (>= 0.7), cdbs (>> 0.4.58), ghc6, libghc6-quickcheck2-dev (>= 2.1.0.2), libghc6-quickcheck2-dev (<< 2.2.0.0), libghc6-binary-dev (>= 0.4.4), libghc6-binary-dev (<< 0.6), libghc6-haskeline-dev (>= 0.3), libghc6-haskeline-dev (<< 0.7), libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 2), libghc6-mtl-dev (>= 1.1), libghc6-mtl-dev (<< 2), libghc6-xhtml-dev (>= 3000.2), libghc6-xhtml-dev (<< 3000.3), libghc6-zlib-dev (>= 0.4.0.1), libghc6-zlib-dev (<< 1), happy (>= 1.15), happy (<< 2), alex (>= 2.0.1), alex (<< 3), libncurses5-dev Build-Depends-Indep: ghc6-doc, libghc6-quickcheck2-doc (>= 2.1.0.2), libghc6-quickcheck2-doc (<< 2.2.0.0), libghc6-binary-doc (>= 0.4.4), libghc6-binary-doc (<< 0.6), libghc6-haskeline-doc (>= 0.3), libghc6-haskeline-doc (<< 0.7), libghc6-haskell-src-doc (>= 1.0.1.1), libghc6-haskell-src-doc (<< 2), libghc6-mtl-doc (>= 1.1), libghc6-mtl-doc (<< 2), libghc6-terminfo-doc, libghc6-xhtml-doc (>= 3000.2), libghc6-xhtml-doc (<< 3000.3), libghc6-zlib-doc (>= 0.4.0.1), libghc6-zlib-doc (<< 1) Checksums-Sha1: 26764e0ff96fe730e4ec423a7ea365dec3d4d642 424382 agda_2.2.6.orig.tar.gz 41008f632f50d5a14029d9fd5ef08c816669c77a 5315 agda_2.2.6-7.debian.tar.gz Checksums-Sha256: 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e 424382 agda_2.2.6.orig.tar.gz 4dd8a47a5b4f1ecd3efc7cce1cb156691b7b7a6241299ced9ca2bc6d7ab85c70 5315 agda_2.2.6-7.debian.tar.gz Files: 0ce3c91e3a917f2c9b919eed46a530b2 424382 agda_2.2.6.orig.tar.gz cf87baf8bf0441ea2b39ffb622cc3405 5315 agda_2.2.6-7.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkviObAACgkQhAwOmkV1TkSw3gCeMWpTwlZIy87TLf1fE7nRy0/a ShUAnj2jOj1Q3h32tiNaI0+pysGhR0PA =k3LB -----END PGP SIGNATURE-----