../ agda-bin_2.4.2.5-1_mips64el.deb 05-Jan-2016 20:05 9M agda-mode_2.4.2.5-1_all.deb 05-Jan-2016 00:49 94K agda_2.4.2.5-1.debian.tar.xz 04-Jan-2016 21:00 7776 agda_2.4.2.5-1.dsc 04-Jan-2016 21:00 3746 agda_2.4.2.5-1_all.deb 05-Jan-2016 00:49 62K agda_2.4.2.5.orig.tar.gz 04-Jan-2016 21:00 1007K libghc-agda-dev_2.4.2.5-1_mips64el.deb 05-Jan-2016 20:05 15M libghc-agda-doc_2.4.2.5-1_all.deb 05-Jan-2016 00:49 2M