../ agda-bin_2.8.0-2+b2_sparc64.deb 04-Apr-2026 00:03 15673184 agda_2.8.0-2+b2_sparc64.buildinfo 04-Apr-2026 00:03 17349 libghc-agda-dev_2.8.0-2+b2_sparc64.deb 04-Apr-2026 00:03 58647884