Index of /debian-ports/pool-ppc64/main/g/gringo
Name
Last modified
Size
Parent Directory
-
gringo_5.6.2-1+b1_ppc64.buildinfo
2024-03-18 12:03
8.1K
gringo_5.6.2-1+b1_ppc64.deb
2024-03-18 12:03
2.0M
gringo-dbgsym_5.6.2-1+b1_ppc64.deb
2024-03-18 12:03
30M
Apache Server at ftp.ports.debian.org Port 80