Index of /debian10/pool/main/a/agda/

../
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