Index of /uos/ppa/kelvinu/pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_arm64.deb                    26-Sep-2021 16:43      6M
agda-mode_2.5.4.1-3_all.deb                        26-Sep-2021 17:19    115K
agda_2.5.4.1-3_all.deb                             26-Sep-2021 17:27    115K
elpa-agda2-mode_2.5.4.1-3_all.deb                  26-Sep-2021 17:18    152K
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb             26-Sep-2021 17:21     19M
libghc-agda-doc_2.5.4.1-3_all.deb                  26-Sep-2021 16:58      4M