../ agda-stdlib-doc_0.12-2_all.deb 23-Jun-2016 18:55 1275634 agda-stdlib_0.12-2.debian.tar.xz 23-Jun-2016 17:53 4996 agda-stdlib_0.12-2.dsc 23-Jun-2016 17:53 2155 agda-stdlib_0.12-2_all.deb 23-Jun-2016 18:55 17067322 agda-stdlib_0.12.orig.tar.gz 20-Jun-2016 08:47 254024