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

../
gringo-dbgsym_5.6.2-2_ppc64.deb                    25-Jun-2024 18:03            30159180
gringo_5.6.2-2_ppc64.buildinfo                     25-Jun-2024 18:03                7371
gringo_5.6.2-2_ppc64.deb                           25-Jun-2024 18:03             1936404