../ agda-stdlib-doc_0.8-2_all.deb 10-Mar-2016 09:49 1M agda-stdlib_0.8-2.debian.tar.xz 10-Mar-2016 09:48 4524 agda-stdlib_0.8-2.dsc 10-Mar-2016 09:48 2094 agda-stdlib_0.8-2_all.deb 10-Mar-2016 10:16 22M agda-stdlib_0.8.orig.tar.gz 10-Mar-2016 09:48 240K