Index of /stable/debian-7-official-release/pool/main/g/gringo/

../
gringo_3.0.4-3_amd64.deb                           24-Sep-2019 07:57             1591394
gringo_3.0.4-3_i386.deb                            21-Jan-2020 15:22             1606566