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

../
agda-bin_2.6.1-1+b2_amd64.deb                      10-Feb-2021 00:07             8910056
agda_2.6.1-1_all.deb                               10-Feb-2021 00:07               28736
elpa-agda2-mode_2.6.1-1_all.deb                    10-Feb-2021 00:08               66816
libghc-agda-dev_2.6.1-1+b2_amd64.deb               10-Feb-2021 00:07            37948252
libghc-agda-doc_2.6.1-1_all.deb                    10-Feb-2021 00:08             5799636