Index of /nightly/debian-9-official-release/pool/main/a/agda/

../
agda-bin_2.5.1.1-3+b3_amd64.deb                    24-Sep-2019 10:38             6169260
agda-bin_2.5.1.1-3+b3_i386.deb                     22-Jan-2020 00:25             6301232
agda-mode_2.5.1.1-3_all.deb                        24-Sep-2019 10:57               79668
agda_2.5.1.1-3_all.deb                             24-Sep-2019 11:04               80092
elpa-agda2-mode_2.5.1.1-3_all.deb                  24-Sep-2019 10:52              115256
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             24-Sep-2019 11:01            12846156
libghc-agda-dev_2.5.1.1-3+b3_i386.deb              22-Jan-2020 00:22            14325888
libghc-agda-doc_2.5.1.1-3_all.deb                  24-Sep-2019 10:37             2649336