Index of /nfs-4.0/pool/upstream/a/agda/

../
agda-bin_2.5.1.1-3+b3_amd64.deb                    27-Nov-2019 14:58             6169260
agda-mode_2.5.1.1-3_all.deb                        27-Nov-2019 14:58               79668
agda_2.5.1.1-3_all.deb                             27-Nov-2019 14:58               80092
elpa-agda2-mode_2.5.1.1-3_all.deb                  27-Nov-2019 14:58              115256
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             27-Nov-2019 14:58            12846156
libghc-agda-doc_2.5.1.1-3_all.deb                  27-Nov-2019 14:58             2649336