Index of /debian-archive/pool/main/g/gringo/

../
gringo_3.0.4-3_amd64.deb                           23-May-2012 14:50             1591394
gringo_4.4.0-1_amd64.deb                           18-Aug-2014 15:52             1612758
gringo_4.4.0-1_i386.deb                            18-Aug-2014 16:27             1621474
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 07:01             2357330
gringo_5.1.0-4_i386.deb                            20-Dec-2016 07:26             2487004