Index of /debian-ports/pool-sparc64/main/a/agda/
Name
Size
Date
📁 ../
-
-
📄 agda-bin_2.8.0-2+b1_sparc64.deb
15672960 bytes
2026-02-28 12:03:02
📄 agda_2.8.0-2+b1_sparc64.buildinfo
16867 bytes
2026-02-28 12:03:02
📄 libghc-agda-dev_2.8.0-2+b1_sparc64.deb
58643764 bytes
2026-02-28 12:03:02