Index of /debian_trixie_main/2026-10-04T06:00:12Z/pool/main/a/agda/

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