-----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.3.2-1 Maintainer: Debian Haskell Group Uploaders: Iain Lane , Kiwamu Okabe Dm-Upload-Allowed: yes Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.3 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.13~), cdbs (>> 0.4.58), ghc (>= 7.6), libghc-binary-dev, libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), 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.8), libghc-haskell-src-dev (>= 1.0.1.1), libghc-haskell-src-dev (<< 2), libghc-mtl-dev (>= 2.0), libghc-mtl-dev (<< 3.2), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.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.14), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.7), 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, libghc-geniplate-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-haskeline-doc, libghc-haskell-src-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-terminfo-doc, libghc-unordered-containers-doc, libghc-xhtml-doc, libghc-zlib-doc, libghc-src-exts-doc, libghc-quickcheck2-doc, libghc-syb-doc Package-List: agda deb misc extra agda-bin deb haskell extra agda-mode deb misc extra libghc-agda-dev deb haskell extra libghc-agda-doc deb doc extra Checksums-Sha1: ce44592d69a2ac1672bf522917db58b22c25e249 726462 agda_2.3.2.orig.tar.gz 85bd630eb8a325a0b920364a826059a89510deca 7233 agda_2.3.2-1.debian.tar.gz Checksums-Sha256: d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 726462 agda_2.3.2.orig.tar.gz e637ce792cf71c2e11b3c1ff37e9561ac40bd07bc7a1be895cd99618f06f1118 7233 agda_2.3.2-1.debian.tar.gz Files: 14be2406d7cf171317eb6ff459e78524 726462 agda_2.3.2.orig.tar.gz de35fe5fdf6dcc0d5b0c59efbb76e638 7233 agda_2.3.2-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRZUphAAoJEONS1cUcUEHUfZ0P/jjTg7dobIhp1Idh8IMw2uF1 Nnyyro1WHTxnNT5f76J9PqodBb17NHDUzmf06WhqB/KTqkQ2p7LmWLZa/N9y6I1g bXP8q4PWdYksH8wluXlRpIU3k11m4FHNUv50AZKXwayNvu92SQ/zqFMtpuCinp1B ZmWlZndC9meaSszc4k1ZHr1zCvH5+qfJ4fqnGliapVfJVJ+2qrxdvIXotlkJwAIV X1K9BdYE7ClGl2O3tPDt9PdL7uU3B+yPJEEIovbTuLSYyMvP0qqz4fJ+csjlYf0n 4iihJG7G1ehg85NBfNmQaqN9+8FdsGhrxilWQ5l15O4o5xUe10tdFnqUwDkqpZDO 7i3IfTjWTUcFY4E+IX0vnRVoEALiQ9Kh0+8ErdqJHr30I0pqzeU8837O4lihg65b jvX4XWiOIt4qb2whbQX6CzvBIUHDv8pLo9IFIE4jItrlOu3t5nQRetVu2mT5fRSF WrYm9JzqX5x7GgZqeNHmNFcPkGxvxcztsiJrJVZ9AtnDpKaKj0v1G3ZYReDeAWzv hC+UT/Sr7bpRh0kOu9zsXvCBW8vhrmUeaDoE61H6rULOXfG4Tjfe0TrDqiTyKS8N bVQn3nIuL+/bJGXXzzOFxPOyGKN90gpafNYSclNyCBtLPdvj2ptjMXPz1SuGscgD HeUIFPmSLg9TXQYVaV7V =keer -----END PGP SIGNATURE-----