-----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-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-binary-dev, libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.1.2.3), libghc-hashable-dev (<< 1.2), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.1), libghc-haskeline-dev (>= 0.6.3.2), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.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-text-dev (>= 0.11), libghc-text-dev (<< 0.12), happy (>= 1.15), happy (<< 2), alex (>= 2.3.1), alex (<< 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-mtl-doc, libghc-parallel-doc, libghc-unordered-containers-doc, libghc-xhtml-doc, libghc-zlib-doc, libghc-src-exts-doc, libghc-quickcheck2-doc, libghc-text-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: b0cb6fe0e95d75779d53e7c1d4d77a0c899ecc4e 730010 agda_2.3.2.1.orig.tar.gz d9a97a183f4e78bc717ce43499026e32dfa082b3 7250 agda_2.3.2.1-1.debian.tar.gz Checksums-Sha256: 790e02ed9af8b9b65ea704b765fd9937444ec1351da9bc2547aa8e9034038eb6 730010 agda_2.3.2.1.orig.tar.gz 04cb5bdd141997222e9f7dac85746659ca917ed6575c8d9dd16eed6ee7f7560a 7250 agda_2.3.2.1-1.debian.tar.gz Files: b3549b00b8643426a09e94461764cf26 730010 agda_2.3.2.1.orig.tar.gz 6317bd64690efce3630187d413e98eb1 7250 agda_2.3.2.1-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRvfGRAAoJEONS1cUcUEHU7XEP/Avq54+z00qIBl9pHas1XRHp LqypIrEOBssLNDrkPxJEfiOKufiuc0lOZCjVKZI7R5uClCXMRXveQjX5D1w+YRl+ ZLigK0eX4mnTdAc9h3VvaDZxLjt3ZtAPEtz2inpmcdlwaNxGQPJa8/7B93IRFKjH T5Ml1Q8HCSqM5LzqQfgw0mC0YEgGoaGvqn9WIlVh/JOife7SzvfIo3lG7CtxFu+2 QZ7oG3OW8g3Ea0Bdoqq3CkpjKmfXLx6VMu/D3RF9aMS12HCe6jwtDhfSBzP4b+Vk 9kevkoH3cdiuyyONEvhdf/cKmnF0mIUWLqIiICQWoXWR/7VkD8B+BDzNBpp4d5Zc ATTneuyXiMl3SJ0KPpk77NBUfQNBFpPlVcCn24FVoz2zC5tyesTlkoqKinkKpUF/ 5HfEAbZh0gF+Vt+JJUYCMBxa0cZllHKGtp0ItSHSaI4k+x9FGGX6OLarXPoVsSn/ IOkGUVPaZhEaJdUzFesdIbRsBnHEjk+iLEIlFlEaI9LIoKFeqKSB3VkPd4t0jG7l tjr1/KIlGGkkbdq4Fbz0sLieWDLd+4xwAyuWLL876egktA27rCv0cdjTTyIok9Nm PVtpzxLhzCSVfv9JordGvgoQxTxvwMAC9pqnAJmhG/1ZIC14YtLN1v9Gwn3apFIk riKgkaqgYxSn5vc7yivO =8hTf -----END PGP SIGNATURE-----