../ agda-stdlib-doc_0.6-2_all.deb 19-Apr-2012 04:44 1704574 agda-stdlib_0.6-2.debian.tar.gz 18-Apr-2012 23:32 4226 agda-stdlib_0.6-2.dsc 18-Apr-2012 23:32 1437 agda-stdlib_0.6-2_all.deb 19-Apr-2012 04:44 16979124 agda-stdlib_0.6.orig.tar.gz 18-Apr-2012 23:32 216273