Index of /debian-ports/pool-ppc64/main/g/gringo

Icon  Name                             Last modified      Size  Description
[DIR] Parent Directory - [   ] gringo_5.4.0-2_ppc64.deb 04-Apr-2020 14:03 1.8M [   ] gringo_5.4.0-2_ppc64.buildinfo 04-Apr-2020 14:03 7.0K [   ] gringo-dbgsym_5.4.0-2_ppc64.deb 04-Apr-2020 14:03 28M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80