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