Index of /debian-ports/pool-alpha/main/a/agda/

../
agda-bin_2.8.0-2_alpha.deb                         16-Feb-2026 18:03     20M
agda_2.8.0-2_alpha.buildinfo                       16-Feb-2026 18:03     16K
libghc-agda-dev_2.3.0.1-2_alpha.deb                03-Jul-2012 14:10     23M
libghc-agda-dev_2.8.0-2_alpha.deb                  16-Feb-2026 18:03     54M