-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.0
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.5-1
Maintainer: Iain Lane <laney@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.2.10), agda-bin (<< 2.2.10.1~), libghc-agda-dev (>= 2.2.10), libghc-agda-dev (<< 2.2.10.1~)
Checksums-Sha1: 
 0d51bf6b8b2994ac67da3b32966cbe6e19f758cc 198083 agda-stdlib_0.5.orig.tar.gz
 22e5cb37fb535b4e3a5e7726b7e5e5eb83a2d2d9 3647 agda-stdlib_0.5-1.diff.gz
Checksums-Sha256: 
 ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e 198083 agda-stdlib_0.5.orig.tar.gz
 7e598498ef5edc57d13096d4b0001a0489e77c5075abe8710e03fa7918b9d019 3647 agda-stdlib_0.5-1.diff.gz
Files: 
 b14aa7adf14e91c5a308c9613d6c8881 198083 agda-stdlib_0.5.orig.tar.gz
 d2051b18eb07b3b6d3c7190750c00469 3647 agda-stdlib_0.5-1.diff.gz

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

iQIcBAEBCAAGBQJN2386AAoJEONS1cUcUEHUiEkP/0Hv4G3NfPaByyyAYoZ1wmrz
s3DNhS9OP/9NWkDt7Jln/wbGDKxMEZym96wbfAJUlWntqFvecHEUVyng55xyjeAX
EO4ZOXCuMZx4lgvgsdtwE/prQ2dOnHSVvECUeBeXfk6jn5i56P6gWqj3o2Sppkuf
S4/r2qdHCIg5kRPWcqlU+NVzACvJn+3OiISPYjTCr4aWyfnSziBzYEcC23b0h5hL
wqmpRE+VJt2PL6uBDLSbjg432VQEP1kD0cW6xlw/G2Asl+dx82GauydEwZrcqtNP
rd/3cJnue71Lv9yuBixv0i8Do54fVFbO+b2RONxRO8cqkxTo05AhMoKSrxg/k47T
z5kEsQ8iE52wRyCTfKxwBaTKoT2V9vEsHqTvDGFzlG22aQL5LP6uU1sHvD5LcMqd
dkg9PcT1R+CP01FPRIW1X5EpzWlvFQXPoOi/QYnXuRxRYyZFf3bnx8KSnLEzWI3l
oOHb40IEb5uCWqHUuOWJRiHBwAXkR01Z1qgeoYRmdsi2RZWHBddXUnl3/NICeqW6
BNkttUBcvYT37Xs9I+3KUpUPajtoh9zqAAtnXtJWQfw+ldcMns/BB+KAVYqz8bVE
KWZ21C1qCUHVB1MW4crjZuyeugz5EPuLyZT4G+MsaA9DqiSAd/jskv5AIQaRNKx3
1O9XKci6zFvxkMob+MwF
=Hvcw
-----END PGP SIGNATURE-----