-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 May 2013 19:29:25 +0100 Source: agda-stdlib Binary: agda-stdlib agda-stdlib-doc Architecture: source all Version: 0.7-2 Distribution: unstable Urgency: low Maintainer: Iain Lane <laney@debian.org> Changed-By: Iain Lane <laney@debian.org> Description: agda-stdlib - standard library for Agda agda-stdlib-doc - standard library for Agda — documentation Changes: agda-stdlib (0.7-2) unstable; urgency=low . * Upload to unstable Checksums-Sha1: 5cc20bcf71eed425466383bf94c6256d77e79070 2077 agda-stdlib_0.7-2.dsc afc0a300d03ac441dcdeb3be2ece83a9e0585f67 4455 agda-stdlib_0.7-2.debian.tar.gz 2ca86e71ce84fec36cec29048bcd71604d7c5e9a 18100406 agda-stdlib_0.7-2_all.deb 7bea374207a4d8c6109a30cac7ced8796de5ae7d 1739092 agda-stdlib-doc_0.7-2_all.deb Checksums-Sha256: f1e719ceb1c84c0d530dac29dcf8549e3de83916b611211074aa0e3f8b1913e4 2077 agda-stdlib_0.7-2.dsc fe86db1377238fb30cf0c8286952e969b10304bbb099e461afce5fe406634f24 4455 agda-stdlib_0.7-2.debian.tar.gz 3188ead9f14f1cd1a3cb999b2270431d24a88e2f51aea0cc44263c1d358f5b01 18100406 agda-stdlib_0.7-2_all.deb 827a6f73e1ed095930244092e40b61b7a2e6643b53da39524b193f33f885e811 1739092 agda-stdlib-doc_0.7-2_all.deb Files: c17bb0b7cc333da44af9af01f4047545 2077 libs extra agda-stdlib_0.7-2.dsc 41e0abf033a924b58e0b7758a6309ae3 4455 libs extra agda-stdlib_0.7-2.debian.tar.gz 46da7d786fff4a9ec14c036327f24321 18100406 libs extra agda-stdlib_0.7-2_all.deb c325e62aaedbd1be6ac0dbddc3975bd7 1739092 doc extra agda-stdlib-doc_0.7-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRo6bqAAoJEONS1cUcUEHU2EQP/ip27u+fRPt7h81NVul0/Y0A Vdi2AWwAp2NKDWrDH/Pl5mBCMMhP/8xY3z22kD3rLPm2g/t9XpBUeElnWjcbBTa1 //YPyriHIJPw948s24OrwCb/bOLJsrTYHqcBC0YEuNF4nII/y/3HH+KaFr0jMmvC p7BD2jTP1WIt7Huzee/HEBxVOA1i6R8zf63b6epCQCris5tF3yBPXE79KAPeKTaB UBEMHVbEe07HWDCi3VM8ueuNHugG5rMkissZsLCK4RHCb2qkKPTiwdVJB2sir0FU fau3BKPdITn5W2gJit8CjeCo8xjogw+WRKsuzdWe1NX7YWkD/YzrAXCFIIggBYCl 9qhsZ0pfrZhY2XVapvR7BmwhmbdvtRUqpA8MuRCIrR5bS8+eaaze7Ts04e9eVvEn cIqo+Lv2LOZCj0tXiNPAoCU9EPYOjWDbucpHlOdGf5cBuCUTdvy3MFSXGvI42lzi EhwsBguIuey99FNzQtfbrA1HYtTkOAQR+i7SMPtWZkACqKGzqa+9FOB55TqPPGCO JOEc27nZejKwG/CrsneHz/B5TeXouMqtpJAbNB9YZ4eHFAZFsv5K+YRruUc+8B1W 3xOckS3+USnw7+e6ZbjoIbIr5WuvTDkUZBVGhHggpSfchDFzDD+3sIGeEDmAVd24 ghx44uUKHUC+2y8+W/gV =EPFr -----END PGP SIGNATURE-----
