Index of /3.1-arm/nfs/pool/upstream/a/agda/

../
agda-bin_2.5.1.1-3+b3_arm64.deb                    22-Nov-2019 08:22            11279094
agda-mode_2.5.1.1-3_all.deb                        22-Nov-2019 08:22               79668
agda_2.5.1.1-3_all.deb                             22-Nov-2019 08:22               80092
elpa-agda2-mode_2.5.1.1-3_all.deb                  22-Nov-2019 08:22              115256
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb             22-Nov-2019 08:22            19759946
libghc-agda-doc_2.5.1.1-3_all.deb                  22-Nov-2019 08:22             2649336