Index of /debian-ports/pool-x32/main/g/gringo/
Name
Size
Date
📁 ../
-
-
📄 gringo-dbgsym_5.8.0-1_x32.deb
35643900 bytes
2025-10-12 15:03:05
📄 gringo_5.8.0-1_x32.buildinfo
6509 bytes
2025-10-12 15:03:05
📄 gringo_5.8.0-1_x32.deb
1986904 bytes
2025-10-12 15:03:05