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 <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@debian.org>, Kiwamu Okabe <kiwamu@debian.or.jp>
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
