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

../
agda-bin_2.8.0-2_alpha.deb                         16-Feb-2026 18:03            20992876
agda_2.8.0-2_alpha.buildinfo                       16-Feb-2026 18:03               16524
libghc-agda-dev_2.3.0.1-2_alpha.deb                03-Jul-2012 14:10            24181778
libghc-agda-dev_2.8.0-2_alpha.deb                  16-Feb-2026 18:03            56902604