Index of /repo.pureos.net/pureos/pool/main/a/agda/

../
agda-bin_2.6.1-1+b2_amd64.deb                      09-Feb-2021 08:44             8910056
agda-bin_2.6.1-1+b2_arm64.deb                      09-Feb-2021 08:44            10374216
agda_2.6.1-1_all.deb                               09-Feb-2021 08:44               28736
elpa-agda2-mode_2.6.1-1_all.deb                    09-Feb-2021 08:44               66816
libghc-agda-dev_2.6.1-1+b2_amd64.deb               09-Feb-2021 08:44            37948252
libghc-agda-dev_2.6.1-1+b2_arm64.deb               09-Feb-2021 08:44            44818592
libghc-agda-doc_2.6.1-1_all.deb                    09-Feb-2021 08:44             5799636