../ agda-mode_2.4.0.2-2_all.deb 11-Aug-2014 11:28 88336 agda_2.4.0.2-2.debian.tar.xz 11-Aug-2014 11:28 7344 agda_2.4.0.2-2.dsc 11-Aug-2014 11:28 3938 agda_2.4.0.2-2_all.deb 11-Aug-2014 11:28 56362 agda_2.4.0.2.orig.tar.gz 05-Aug-2014 09:23 910389 libghc-agda-doc_2.4.0.2-2_all.deb 11-Aug-2014 11:28 1959856