../ 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