../ agda-bin_2.8.0-2+b1_sparc64.deb 28-Feb-2026 12:03 15672960 agda_2.8.0-2+b1_sparc64.buildinfo 28-Feb-2026 12:03 16867 libghc-agda-dev_2.8.0-2+b1_sparc64.deb 28-Feb-2026 12:03 58643764