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

Name	Size	Date
📁 ../	-	-
📄 agda-bin_2.8.0-2+b2_sparc64.deb	15673184 bytes	2026-04-04 00:03:01
📄 agda_2.8.0-2+b2_sparc64.buildinfo	17349 bytes	2026-04-04 00:03:01
📄 libghc-agda-dev_2.8.0-2+b2_sparc64.deb	58647884 bytes	2026-04-04 00:03:01