-----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.2-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@debian.org>, Kiwamu Okabe <kiwamu@debian.or.jp>
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-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.2), 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.15), 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.2), 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: 
 9b85b0373cce9055b5070479cb4351fb8f9e2b48 2034934 agda_2.3.2.2.orig.tar.gz
 6f0dfc9c85f5a69b176640bf99f21ac0bd81ff0f 7406 agda_2.3.2.2-1.debian.tar.gz
Checksums-Sha256: 
 0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f 2034934 agda_2.3.2.2.orig.tar.gz
 3b02726c48e912ac727ef8dbac044033fd5269068592f14fb66587ee1b3faa46 7406 agda_2.3.2.2-1.debian.tar.gz
Files: 
 ec8cc8bcf6efcaf8d684bc8da6356a1c 2034934 agda_2.3.2.2.orig.tar.gz
 996af4a672460ce5bbc89f6c6e85dba1 7406 agda_2.3.2.2-1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBCgAGBQJSehfaAAoJEONS1cUcUEHUJvkQAINkaQpyel/Zh9VbZGkmX1M3
ToZNda8GXnAMvO19QHuyZkAh+seH9jKzGF7R8LgtIZXbs/ydA4Q8AxMmKbuPyuNM
2AVDjm4K9paAgAAIFrYLHa+C3KLxYZBuZBRM0cXe+hmGNVRzjFZTCg629+9Br+N6
HulAGi90jdhUBUecAbPfh0GkVVKuVEde/Pwn7ZusvjhlaqsMLMsSJUlhoOaNh0yx
L5j9d0AxdDA4sSvjDLgMKkouMjTQhezOGzKv7ctg56wnxMx2WH3MQA7hQFmugjLH
cxsXDesdzTYz+JsDBqj1BmH0foh7Vq0x6bbhtIB3/kYAlGVVSXCV/ZYvBBK7atWU
nF1bBQfapMLSwZeVlecW6EwVahUL5zepi+uIb9DrVYIjDdIXyIwjAitPXFl/atBU
Rgb70p7WTUQcBrVth3uyEBtrkv8IVBfj+IvRDhmdbDIORD4SQceuoYFkWVhOnEZj
2lQmpwny1w1DYBhR4Juf9HvYlL0G8iSap5ujiRFKbCEJtiE0DNg2cVJdYhBBNYIk
KnvlxuoCwyRf98qyLUWjXZQBfgSMvZJmZ1oAxW4TPY82nUsinLfLbKwe4UCE8SJr
z15sp2dibtPBgpwzEFolY0GAb9DAXR01bYhUK0dpc2krppPUHnhYZn2A5Ac0dTQD
oO/YkSbHVURnBF3hrttb
=hxAo
-----END PGP SIGNATURE-----