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

Format: 3.0 (quilt)
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.7-1
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
 cd22700485d28e9c83bd85fee50b1078a7d0788c 4431 agda-stdlib_0.7-1.debian.tar.gz
Checksums-Sha256: 
 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa 226400 agda-stdlib_0.7.orig.tar.gz
 eb98fc6eee622afed455094c710294ec0332400c7006e73914327f1097093524 4431 agda-stdlib_0.7-1.debian.tar.gz
Files: 
 ff390e42876caf97d4e96e0d6fb00b01 226400 agda-stdlib_0.7.orig.tar.gz
 9e8683165e883be2c63155a99bc52c7d 4431 agda-stdlib_0.7-1.debian.tar.gz

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

iQIcBAEBCgAGBQJRZUpmAAoJEONS1cUcUEHUKCYQAK61QhgIm+861V1hbcypBD3T
eZ/ZseGr3MFo+uCjfiDcINQpLstyslZ/hH9pqxcpHxnrFLKZBdRt+Rn9+j8pepNu
1Q1ZwvQbqHclFb7SzJc7ZxBYyf42HU48YEdrscuh59z6zJiXztdILqBlMc5Fi3TZ
1pBfT8pJOOTR6/MXb4KGhhNS8bQXIFR/CP90Q1jsG/zT/aOH2hY6EW18ow4I3YqH
57X/HpRelmsWhp9ofoVAsCfIjpCVFhc3JKYvxWZA33/p5F8pj+5w92IPG93hjDME
ustn6Q8tX5DiJGjdng6kdl7nyZjhKfFoVR09zDSbfAtodTGXY+ErsvhMRfM36QJY
Km3Nun3VxYpRE+dJMkvhfs0xjEpXC0VpfPzFFfFIORaPzJxbM/4szB+Yu9f+c5SI
PYqJTWJl/ZP3xtkpN1tN694HN+9lQCQSAPdxGiGbv53Du2G5+2v0Q5rVfsaYRChE
YtF9L6vz4iO4YYuh/RztGRNjhcfHKFyf+2lqgIYC7w754FOwCOvmhGiJfZA7Ihi6
aEwQ4k/5z/hikhNTDz9hQDZcWD/X85Du9IBpVHAl4uKrLeT3rE2PzG8A4g3/iQUn
D+1jZM/tss8eDiujuHLJ+hqPVkxwAgcb+35hu/h43kezVB1lxylyGaSym1zLW0tp
WXRDxwgNMPfTeATXQ6mS
=iOJx
-----END PGP SIGNATURE-----