../ agda-mode_2.5.4.1-3_all.deb 20-Oct-2018 21:57 117680 agda_2.5.4.1-3_all.deb 20-Oct-2018 21:57 118104 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