-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.7-2b1
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.4
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.2), agda-bin (<< 2.3.3~), libghc-agda-dev (>= 2.3.2), libghc-agda-dev (<< 2.3.3~)
Package-List: 
 agda-stdlib deb libs extra
 agda-stdlib-doc deb doc extra
Checksums-Sha1: 
 9496bd8898d3a60ce3d6850fd11b10e16ed8df61 226400 agda-stdlib_0.7.orig.tar.gz
 8594fa69fbe1c07302348cef54b40e31fbde5f59 4603 agda-stdlib_0.7-2b1.debian.tar.gz
Checksums-Sha256: 
 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa 226400 agda-stdlib_0.7.orig.tar.gz
 6c89ae74f1f1f27d5f4e6b36d615ddeef4491ee34ec1fa93da7377312ce6dbfb 4603 agda-stdlib_0.7-2b1.debian.tar.gz
Files: 
 ff390e42876caf97d4e96e0d6fb00b01 226400 agda-stdlib_0.7.orig.tar.gz
 cd17a832ff8dfd39b1f8b63e836aa0de 4603 agda-stdlib_0.7-2b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS7c2UAAoJEIxPDyvAFXjJ1GkP/0XnFxcExiLRgo3PIotQEI0A
C7EvLryqzzVHsN++LTlqDr9CiQ3uTXRkFPoKlWZvw+PsinUGjShrB/gRXHrxsy7Q
sgTv+vSSjK/gGVgcwU9JK3BIeylj4p2aLHkvP/nUc28NHj90ZDHzeSMJFDWIwD6s
6ovJYI7tHX9hYl+14fwG2VvZ9ANVEZkAfASFDSWIrxbsb4zv8MyjMvrb8+TpIarb
JxlFCfS89l2E8mkpQTN/hki5PEuXOEZWEtTKguGvld2NLYht0xaLscG3/oDzrs+C
4e3Rm1SkNqnF6+n+Nrm8G/wEHUHy+UMo031jcUdzsQN89/AcUWtKw4DFwwGlccKk
5Pq0cxx1c1f7gOSSvRjs99AQgUdPIC/G2eO/cAN9iVyJtHN+pLJx/o4Jl4tt62Nz
6mJ2vc+z2Op9igr+E6UAtj4AYf9DR/s2Kk563lH8xTzs8fChOaj3ztxGAn7jFJaK
IdjvGHXjLHCkCGrN0RDQ5Xs4NNYLpBS71rvvdILINCWhOuZdyl+nnZVRJcAJapQV
z1NIwx7gdURjwibxi03hJyzyhwePqPyHt2jDqUEHjcO+IpShfnt9CGQ46gJy6UMU
IGsuXNZlwKun7ONU10pAB5sebVXVPBJXEGyJrd2zWT7KYeMa5wqVdMqXtvkeY9se
Dn0x+fT1iA5WnFaGuR7n
=kSQ8
-----END PGP SIGNATURE-----