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

../
gringo-dbgsym_5.8.0-1_x32.deb                      12-Oct-2025 12:03            35643900
gringo_5.8.0-1_x32.buildinfo                       12-Oct-2025 12:03                6509
gringo_5.8.0-1_x32.deb                             12-Oct-2025 12:03             1986904