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

Format: 1.0
Source: agda-stdlib
Binary: agda-stdlib, agda-stdlib-doc
Architecture: all
Version: 0.5-1~ubuntu1
Maintainer: Iain Lane <laney@ubuntu.com>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.1
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~), libghc6-agda-dev (>= 2.2.10), libghc6-agda-dev (<< 2.2.10.1~)
Checksums-Sha1: 
 0d51bf6b8b2994ac67da3b32966cbe6e19f758cc 198083 agda-stdlib_0.5.orig.tar.gz
 3d43f6aa58504506e2ffd51d7fb7ea936d4d6883 3786 agda-stdlib_0.5-1~ubuntu1.diff.gz
Checksums-Sha256: 
 ecdf9deddd9baae4ddddbc29bf1206717d6e683a213816777b5df55944f4363e 198083 agda-stdlib_0.5.orig.tar.gz
 429ea868760259946a9e9f9449b690adc1359c5ad023e5b49b43e238fb7cf7e8 3786 agda-stdlib_0.5-1~ubuntu1.diff.gz
Files: 
 b14aa7adf14e91c5a308c9613d6c8881 198083 agda-stdlib_0.5.orig.tar.gz
 657c4a554b9706d1c554953e65f9978d 3786 agda-stdlib_0.5-1~ubuntu1.diff.gz

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

iQIcBAEBCAAGBQJNbDntAAoJEONS1cUcUEHUDysQAKZwqaxLM0klwz6sgRA5Fhr8
23iAPcwmWQsfe4ZL1Bt8dOoDAN5EUbE+d3S5pANrFNkdHXttanOiT3jFdgaPHZ5n
QqaC85m5GLKVjp+rMoKYend1g99+2xi7+xsPJaMLX8SiXbKxXcK6CyuouR9kzaPS
E6KxxHdh2Wmom41GUD1ZmsDMIuDI4u4y01KvFFsli35KThCN625jF6oHJgdouFD2
IGO+rVof0RnNbOlrjpAhiKSHNdrSBIC3Cx9tyX263NqoAf5mqw2CYBuLIswajBVa
t/OuvqSjuQJ8ExY/C0ebcQnohYGzs5qqA3/lifqlHZWfF2mqP2NClq56FbcGWTtX
4moSaky6l7/uj/5580nt5JamGC4mo3FdCWVkthlnmIY0ltXBZ8v23v3j/yXy2E+Q
rJPKlmmVkcEEOQS7dKNX0jwBxANz5mNbo4Oti2iaCH0Uotx7vxLew5Ag5g1KFL4c
PV9ta9VgU5gQiccsJq4EW52ek7GFs3k9QSKS0Ie3eOW84tTmhYf+RIDA0KB5Y7Hy
LQTCcBoEgVC31Y18dAtZKpWoR6NpfWWU+/CbNbKTImyBOfejF5YeB5rlk3OOu/rY
YcyFbglvQIk1RFrOJShliRuqfjoDZM8EAjU2dTBFUl2zqD9h8vX8tUSWBySTr3z1
yOcUijl47x0CH89sQOZd
=aPVW
-----END PGP SIGNATURE-----