Index of /debian-ports/pool-sparc64/main/a/agda/
Name
Size
Date
📁 ../
-
-
📄 agda-bin_2.8.0-2_sparc64.deb
15675028 bytes
2026-02-16 00:03:02
📄 agda_2.8.0-2_sparc64.buildinfo
16557 bytes
2026-02-16 00:03:02
📄 libghc-agda-dev_2.8.0-2_sparc64.deb
58666940 bytes
2026-02-16 00:03:02