-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda Architecture: any all Version: 2.3.0-1 Maintainer: Debian Haskell Group Uploaders: Iain Lane Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.2 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.8), cdbs (>> 0.4.58), ghc, libghc-binary-dev (>= 0.4.4), libghc-binary-dev (<< 0.6), libghc-hashable-dev (>= 1.1), libghc-hashable-dev (<< 1.2), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.1), libghc-haskeline-dev (>= 0.3), libghc-haskeline-dev (<< 0.7), libghc-haskell-src-dev (>= 1.0.1.1), libghc-haskell-src-dev (<< 2), libghc-mtl-dev (>= 2.0), libghc-mtl-dev (<< 3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.12), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.5), libghc-syb-dev (>= 0.1), libghc-syb-dev (<< 0.4), happy (>= 1.15), happy (<< 2), alex (>= 2.3.1), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-binary-doc (>= 0.4.4), libghc-binary-doc (<< 0.6), libghc-hashable-doc (>= 1.1), libghc-hashable-doc (<< 1.2), libghc-hashtables-doc (>= 1.0), libghc-hashtables-doc (<< 1.1), libghc-haskeline-doc (>= 0.3), libghc-haskeline-doc (<< 0.7), libghc-haskell-src-doc (>= 1.0.1.1), libghc-haskell-src-doc (<< 2), libghc-mtl-doc (>= 2.0), libghc-mtl-doc (<< 3), libghc-terminfo-doc, libghc-xhtml-doc (>= 3000.2), libghc-xhtml-doc (<< 3000.3), libghc-zlib-doc (>= 0.4.0.1), libghc-zlib-doc (<< 0.6), libghc-src-exts-doc (>= 1.9.6), libghc-src-exts-doc (<< 1.12), libghc-quickcheck2-doc (>= 2.3), libghc-quickcheck2-doc (<< 2.5), libghc-syb-doc (>= 0.1), libghc-syb-doc (<< 0.4) Package-List: agda deb misc extra agda-mode deb misc extra libghc-agda-dev deb haskell extra libghc-agda-doc deb doc extra Checksums-Sha1: 128fcca71d1c1ddc2cdbfeb61e5ad41ad4d7ec97 608029 agda_2.3.0.orig.tar.gz a09a64644aee0a3dc34cb82209ef9fe90e9c1119 6505 agda_2.3.0-1.debian.tar.gz Checksums-Sha256: 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc 608029 agda_2.3.0.orig.tar.gz b6cd9cf587ec05f0d679af6e48eef517a6d5e6102f8fa6ac1b4d54ef644695e2 6505 agda_2.3.0-1.debian.tar.gz Files: 400fb8519cf18e167a772b33f2eda7d7 608029 agda_2.3.0.orig.tar.gz e8d577d79deca47f86a55ae404ef5fb1 6505 agda_2.3.0-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJOzP5EAAoJEONS1cUcUEHU1ncP/2Dst6/aYfxjie5OxIIBeYo1 NrgwmUkQenAIL8wSxHO2ehuALxld9IzfCyeUZEVSD+LDPn+X+uduSGTm4kzKr/Zn tOZYADb7Dl69pBh3iVJh8SV8r7QrmZeV4RTC0PmHxaouoIFJfJmsBXrfA99RlqX1 pJIp58N7o8PkfN7fKCkhDw34V7nqKSY04n0/WUQrYYE5XPgJGx+4qL0pBdWZ2EEo LkBprTwtQkx7v3fxX6onqIetXcto7nvIG/VjtsiT8s5zhBUfpwN1scre9meefcBj 5Z12rmEfL6doCaxMQTYP7n/OmJhtr02qLrVQ3PA5Bl2YMdy5hgb0TrjHrO4b27cq WaKXkxXxJaEhxALJfpbbXueprDaccj3GEwZq3o95rfgGGeo/FY6msuVpF/Yf1ZlC 8IBrT/xTV2zURqfaF9xkPg86HckJfP1Ot9KswucSi4unuRjzYYE/W9N5MHKcsU7Z yU9hSQIzkDowAdIP0Hu6f0mDu2SnZZJo7RTVzGqBvXZxBgelmkQflhX88rHHcf3I eHLVybk+wSmj6F2qZkHxcUfj9+k1egBBaBsxhf3dTz4Nj0WxP7M8Y6QC2XnkleZ2 Qxul99HB5lWl6oEg30f3uUOpxnl7IqkF/MO/LcbWpQe6hQpKlqU2qYAlI09zF8t2 ngylB7MxtSUlLBz+DszA =HL3p -----END PGP SIGNATURE-----