Index of /pub/ubuntu/pool/universe/g/gringo/

../
gringo_4.5.4-1_amd64.deb                           20-Dec-2015 10:25             1833466
gringo_4.5.4-1_i386.deb                            20-Dec-2015 10:25             1855812