Index of /debian-ports/pool-ppc64/main/h/hol-light/
Name
Size
Date
📁 ../
-
-
📄 hol-light_3.0.0-2+b13_ppc64.buildinfo
9110 bytes
2025-10-17 12:03:11
📄 hol-light_3.0.0-2+b13_ppc64.deb
6001052 bytes
2025-10-17 12:03:11