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

../
agda-bin_2.6.4.3-1+b2_amd64.deb                    11-Nov-2025 13:17             9846396
agda_2.6.4.3-1_all.deb                             11-Nov-2025 11:00               12148
elpa-agda2-mode_2.6.4.3-1_all.deb                  11-Nov-2025 11:00               51316
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             11-Nov-2025 13:17            22821040
libghc-agda-doc_2.6.4.3-1_all.deb                  11-Nov-2025 11:00             7489680