-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda Architecture: any Version: 2.2.10-4 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-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 (<< 1), 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.0.1), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-binary-doc (>= 0.4.4), libghc-binary-doc (<< 0.6), 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 (<< 1), 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) Checksums-Sha1: d617a31bc7dab5fb701d56b09c18038adec96971 517723 agda_2.2.10.orig.tar.gz 341bd3d5da5fbc8beae6febeb42c9556d94058b8 8043 agda_2.2.10-4.debian.tar.gz Checksums-Sha256: 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae 517723 agda_2.2.10.orig.tar.gz 767c6f1c8a31710d328309638698b1f9d789d8e9f389dd604a07878324a72214 8043 agda_2.2.10-4.debian.tar.gz Files: eadb729a1755f1c6c8475d1621246fd8 517723 agda_2.2.10.orig.tar.gz 94ca88b809d2bd5df688a957aa66551f 8043 agda_2.2.10-4.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJOYqosAAoJEONS1cUcUEHUm2cP/2jzX8/6CZp1P75PxWrJN6RJ p2DUJOPAiuDV8xABmxo7XoEt+U1D2b6h9piXD9n8KAw5XSrNgXaZXC3Yu54HllGv iPjFevhG+EnfL4hKV+KDZTUQYgTxYlEyxRs4W560Vwyk0tsGphwUbYdkgBi0ZRNq KeEKrLYs4ZY9eeB09YLGNXZfHGhQtSdPrPXXhcX1qS+oZ0jxCTFZ0aWuR8+Zba5S 5WIItTq9DV6smzfHsmY36OI6tNuT9Iac6f7jBh3PF3BADBEEbYZHmfLuu2PcxIP9 91zQdbCJeXMTejeyPM5VWRL3zD/4JCkzkQnjrdhvu4H2J8k4TIAyz2Dc1vCKPy4t cIsB0bruhLEE02s8A1lIy7SburKzJhD/DWfEqPRQeY7f0yVNtTPXyKk6Tzop1XtU xjXlO2ERNzO9US/Ng5aWt9GDZW3vUKdmlUYsyEEYFU8in/LLXYOgxXIXrl6V0AhH Q0Z9pUQiM4HAM0lMDDGoIGbwKYMBR055ZMYyZtYVW/8LmcRWLv99d6G+w6QJu4Vl F+jkylJDFccwo+z9CMATEQOaJ2fz3imip0u4utFpaYZo0gsyApciJ3CE7RAUeZHM /xTyO6wD5II/w1ul2KEdVv9iR/nNl8NwDrIzVdIkCG2Oi+Jg2GhIxsaX3kxXYEyv 2s2MWwTOqy9gDaa3dd/a =0UEE -----END PGP SIGNATURE-----