Accepted agda-stdlib 0.7-2 (source all)
-----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-----