-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: agda Binary: libghc6-agda-dev, libghc6-agda-prof, haskell-agda-doc, agda-mode Architecture: any Version: 2.2.4+dfsg-1 Maintainer: Debian Haskell Group Uploaders: Iain Lane Standards-Version: 3.8.2.0 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary Vcs-Git: git://git.debian.org/pkg-haskell/agda.git Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.6.15+nmu12~), cdbs (>> 0.4.58), ghc6 (>= 6.10.3-2~), ghc6-prof (>= 6.10.3-2~), libghc6-quickcheck2-dev (>= 2.1.0.1), libghc6-quickcheck2-dev (<< 2.1.0.1+), 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-utf8-string-dev (>= 0.3), libghc6-utf8-string-dev (<< 0.4), libghc6-xhtml-dev (>= 3000.2), libghc6-xhtml-dev (<< 3000.3), libghc6-zlib-dev (>= 0.4.0.1), libghc6-zlib-dev (<< 1), libghc6-quickcheck2-prof (>= 2.1.0.1), libghc6-quickcheck2-prof (<< 2.1.0.1+), libghc6-binary-prof (>= 0.4.4), libghc6-binary-prof (<< 0.6), libghc6-haskeline-prof (>= 0.3), libghc6-haskeline-prof (<< 0.7), libghc6-haskell-src-prof (>= 1.0.1.1), libghc6-haskell-src-prof (<< 2), libghc6-mtl-prof (>= 1.1), libghc6-mtl-prof (<< 2), libghc6-utf8-string-prof (>= 0.3), libghc6-utf8-string-prof (<< 0.4), libghc6-xhtml-prof (>= 3000.2), libghc6-xhtml-prof (<< 3000.3), libghc6-zlib-prof (>= 0.4.0.1), libghc6-zlib-prof (<< 1), happy (>= 1.15), happy (<< 2), alex (>= 2.0.1), alex (<< 3), hscolour (>= 1.8), ghc6-doc (>= 6.10.3-2~), haddock (>= 2.4.2), libncurses5-dev Build-Depends-Indep: libghc6-quickcheck2-doc (>= 2.1.0.1), libghc6-quickcheck2-doc (<< 2.1.0.1+), 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-utf8-string-doc (>= 0.3), libghc6-utf8-string-doc (<< 0.4), libghc6-xhtml-doc (>= 3000.2), libghc6-xhtml-doc (<< 3000.3), haskell-zlib-doc (>= 0.4.0.1), haskell-zlib-doc (<< 1) Checksums-Sha1: a0c37e98276daf2494681523a420976af1ecdd2e 377740 agda_2.2.4+dfsg.orig.tar.gz f2113da18500a822e8562a298f063dcf376a4b7d 4129 agda_2.2.4+dfsg-1.diff.gz Checksums-Sha256: dd03db683812293d82f5875afb444f839760014275446b56797323d906f3c791 377740 agda_2.2.4+dfsg.orig.tar.gz 7ea71ec3800aff0a9ebb151fdfc3d1b5f4c897fe399f851d399d1efa9b22d9e7 4129 agda_2.2.4+dfsg-1.diff.gz Files: 438d3ed44ec0b37b569fe9d8891612d9 377740 agda_2.2.4+dfsg.orig.tar.gz 3b4f51e56fc35068953b938c81a7e1b5 4129 agda_2.2.4+dfsg-1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkplvzgACgkQ9ijrk0dDIGyUuACgz5MEt3w8Y0OCjWkSx+SWPtqc MdkAoJLdL1kDdvdOtOy3LcLA6uF5KHw+ =F9X+ -----END PGP SIGNATURE-----