Index of /debian-ports/pool-powerpc/main/a/agda/
Name
Size
Date
📁 ../
-
-
📄 agda-bin_2.6.4.3-1_powerpc.deb
13582584 bytes
2025-02-25 18:03:01
📄 agda_2.6.4.3-1_powerpc.buildinfo
14892 bytes
2025-02-25 18:03:01
📄 libghc-agda-dev_2.6.4.3-1_powerpc.deb
33836740 bytes
2025-02-25 18:03:01