Index of /pool/main/g/gringo/

../
gringo_5.8.0-1_amd64.deb                           06-Dec-2025 15:07             1956184
gringo_5.8.0-1_i386.deb                            06-Dec-2025 14:34             2078064