../ agda-stdlib-doc_0.11-1_all.deb 05-Jan-2016 01:20 1265062 agda-stdlib_0.11-1.debian.tar.xz 04-Jan-2016 23:25 4600 agda-stdlib_0.11-1.dsc 04-Jan-2016 23:25 2105 agda-stdlib_0.11-1_all.deb 05-Jan-2016 01:20 17502462 agda-stdlib_0.11.orig.tar.gz 04-Jan-2016 23:25 253251