../ agda-mode_2.5.4.1-3_all.deb 20-Oct-2018 21:57 117680 agda_2.5.4.1-3.debian.tar.xz 20-Oct-2018 20:41 9928 agda_2.5.4.1-3.dsc 20-Oct-2018 20:41 3870 agda_2.5.4.1-3_all.deb 20-Oct-2018 21:57 118104 agda_2.5.4.1.orig.tar.gz 30-Sep-2018 10:54 1989201 elpa-agda2-mode_2.5.4.1-3_all.deb 20-Oct-2018 21:57 155444 libghc-agda-doc_2.5.4.1-3_all.deb 20-Oct-2018 21:57 3790832