Index of /pool/main/a/agda/

../
agda-mode_2.5.4.1-3_all.deb                        22-Jul-2020 15:20              117680
agda_2.5.4.1-3_all.deb                             22-Jul-2020 16:50              118104
elpa-agda2-mode_2.5.4.1-3_all.deb                  22-Jul-2020 16:56              155444
libghc-agda-doc_2.5.4.1-3_all.deb                  22-Jul-2020 15:56             3790832