Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.13-1build1
Maintainer: Iain Lane <laney@debian.org>
Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 4.0.0
Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git
Vcs-Git: https://anonscm.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (>= 10), agda-bin (>= 2.5.1), agda-bin (<< 2.6.0), libghc-agda-dev (>= 2.5.1), libghc-agda-dev (<< 2.6.0), libghc-filemanip-dev
Package-List:
 agda-stdlib deb libs extra arch=all
 agda-stdlib-doc deb doc extra arch=all
