Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.6-2.5.201403112349
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: 3.9.2
Vcs-Browser: http://git.debian.org/?p=collab-maint/agda-stdlib.git
Vcs-Git: git://git.debian.org/git/collab-maint/agda-stdlib.git
Build-Depends: debhelper (>= 7.0.50~), agda-bin (>= 2.3.0), agda-bin (<< 2.3.1~), libghc-agda-dev (>= 2.3.0), libghc-agda-dev (<< 2.3.1~)
Package-List: 
 agda-stdlib deb libs extra
 agda-stdlib-doc deb doc extra
Checksums-Sha1: 
 cd822c4b504415d42f584f970732474231a3239f 216273 agda-stdlib_0.6.orig.tar.gz
 79c20b16c9e9245f59229c3af9e978e081be65d6 4336 agda-stdlib_0.6-2.5.201403112349.debian.tar.gz
Checksums-Sha256: 
 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 216273 agda-stdlib_0.6.orig.tar.gz
 c5360cf6585e41a807213003770d599a55ac3eff5ff4a09dbf26362c6938fc66 4336 agda-stdlib_0.6-2.5.201403112349.debian.tar.gz
Files: 
 574f7e4609b98c7c486fd182fc1d4579 216273 agda-stdlib_0.6.orig.tar.gz
 240c79f91cf093430bb612fc7399e8b2 4336 agda-stdlib_0.6-2.5.201403112349.debian.tar.gz