../ agda-bin_2.5.1.1-3_armhf.deb 19-Jun-2017 04:08 6537464 agda-mode_2.5.1.1-3_all.deb 28-Oct-2016 18:56 79668 agda_2.5.1.1-3_all.deb 28-Oct-2016 18:56 80092 elpa-agda2-mode_2.5.1.1-3_all.deb 28-Oct-2016 18:56 115256 libghc-agda-dev_2.5.1.1-3_armhf.deb 19-Jun-2017 04:08 15018822 libghc-agda-doc_2.5.1.1-3_all.deb 28-Oct-2016 18:56 2649336