Index of /mirror-backup20251114/pool/universe/a/agda/

../
agda-bin_2.6.3-2_amd64.deb                         07-Sep-2024 06:18     10M
agda_2.6.3-2.debian.tar.xz                         07-Sep-2024 06:18     11K
agda_2.6.3-2.dsc                                   07-Sep-2024 06:18    4945
agda_2.6.3-2_all.deb                               07-Sep-2024 06:18    3724
elpa-agda2-mode_2.6.3-2_all.deb                    07-Sep-2024 06:18     45K
libghc-agda-dev_2.6.3-2_amd64.deb                  07-Sep-2024 06:18     24M
libghc-agda-doc_2.6.3-2_all.deb                    07-Sep-2024 06:18      6M