Index of /debian_trixie_main/latest/pool/main/a/agda/

../
agda_2.6.4.3-1_all.deb                             29-Sep-2025 11:37     12K
libghc-agda-doc_2.6.4.3-1_all.deb                  29-Sep-2025 11:37      7M