-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: libghc6-agda-dev, libghc6-agda-doc, agda-mode Architecture: any Version: 2.2.10-1~ubuntu1 Maintainer: Ubuntu Developers Uploaders: Iain Lane Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.1 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), libghc6-src-exts-dev (>= 1.9.6), libghc6-src-exts-dev (<< 1.10), 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), libghc6-src-exts-doc (>= 1.9.6), libghc6-src-exts-doc (<< 1.10) Checksums-Sha1: d617a31bc7dab5fb701d56b09c18038adec96971 517723 agda_2.2.10.orig.tar.gz 99232f0b1fd1b681ad90136d7a3a854352d3e799 8391 agda_2.2.10-1~ubuntu1.debian.tar.gz Checksums-Sha256: 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae 517723 agda_2.2.10.orig.tar.gz 679391dd5db9d07969836817861117c8404ad10dcfa9b92b5c1fa270b0465586 8391 agda_2.2.10-1~ubuntu1.debian.tar.gz Files: eadb729a1755f1c6c8475d1621246fd8 517723 agda_2.2.10.orig.tar.gz 503d6221be17c1a325d341fb656262e0 8391 agda_2.2.10-1~ubuntu1.debian.tar.gz Original-Maintainer: Debian Haskell Group -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJNZqMkAAoJEONS1cUcUEHUaLAP/AgODtVqag+VrmW2Rl+clwSi UMsBye9d0hfKfe3h2asVx+HRQbnO9S5JMlByFnqGCnY80F9aNcSCPfxy3m8RYi6Q gckO30LzLPFFZciHSgzboVuvikvsdMQ/+7+tin0I47c7Eqz+tzsRKbatFyokMprW bwIBoCXNGjv1/XFdPaF3uKR4phIhj6m2bXDbZos7+Ln7fXpqjEWD7TlV/fzBclVJ LTZ+0oNSO44sFT8z47wlbwXFei3b6mp1d2T1PE1Qmvzx4YjqdvR3IxawhmBMalfB VeG2uMqwt1R52YdjmzcivLXJYwL80o0LtVdMxlHBoA8atRIAU7YnPxG+2OBQDQyR hJZVp78KB2VTbyFD+KoucDmFwidKWuiJDfK96+4iKQkIsDzIvSDvPYl9PGgbZj4q aGkx8/JR4l0rALoZKp7DSzrNHtan1fxkEIBPq0sMQ1ywXhlzH048yZhRBjbJ2JL6 NprGhnB3iKEdXippLY8U+3F/4ML3RFk148bv116yap6E/CpMTRBJyBike4sAjHci hXZ/3VWJ90xSLxcpJoW8CtPvE/0fXq8uUV0Pz9P3vpTtjABCP6EPVFwUjaEI+xzc MPb/RcpZpwoYkCSLEuvkxX0lECpaTN7LbhVVi3WS0sbMqd8ysVhX/sEPZyOK5bKf bzQFb2bnPYhRn7H7tAu6 =jMOl -----END PGP SIGNATURE-----