Index of /debian11/pool/main/a/agda/

../
agda_2.6.1-1_all.deb                               02-Mar-2023 09:55               28736
elpa-agda2-mode_2.6.1-1_all.deb                    02-Mar-2023 09:55               66816
libghc-agda-doc_2.6.1-1_all.deb                    02-Mar-2023 09:55             5799636