Index of /debian/pool/non-free/a/agda/

../
agda-bin_2.6.1-1+b2_amd64.deb                      20-Dec-2022 19:13             8910056
agda_2.6.1-1_all.deb                               20-Dec-2022 19:47               28736
elpa-agda2-mode_2.6.1-1_all.deb                    20-Dec-2022 19:15               66816
libghc-agda-dev_2.6.1-1+b2_amd64.deb               20-Dec-2022 22:24            37948252
libghc-agda-doc_2.6.1-1_all.deb                    20-Dec-2022 22:33             5799636