Index of /bionic-dev/pool/main/g/gringo/

../
gringo_5.2.2-5_amd64.deb                           07-Jan-2019 18:22             2184928
gringo_5.2.2-5_i386.deb                            07-Jan-2019 18:15             2327204