-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.6-2
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
 996d92f280f14a55fd3ffa121b89846397f719e9 4226 agda-stdlib_0.6-2.debian.tar.gz
Checksums-Sha256: 
 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 216273 agda-stdlib_0.6.orig.tar.gz
 56055b75120cce91719480009d8348be96f7d0b939180ff5084f5bc071b5eb2d 4226 agda-stdlib_0.6-2.debian.tar.gz
Files: 
 574f7e4609b98c7c486fd182fc1d4579 216273 agda-stdlib_0.6.orig.tar.gz
 18fdc70e368e6a283fae3acee013fe02 4226 agda-stdlib_0.6-2.debian.tar.gz

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

iEYEARECAAYFAk9gZwAACgkQ9ijrk0dDIGxf8gCbBdmtkUts2gpprR5hji4y22a+
Z5QAoI2NdmpVMMG+Q0kAp2IzBii/Nu2q
=4Hkw
-----END PGP SIGNATURE-----