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

../
gringo_3.0.4-3_amd64.deb                           23-May-2012 14:50             1591394
gringo_3.0.4-3_i386.deb                            23-May-2012 15:35             1606566
gringo_4.4.0-1.debian.tar.xz                       18-Aug-2014 15:52                8304
gringo_4.4.0-1_amd64.deb                           18-Aug-2014 15:52             1612758
gringo_4.4.0-1_arm64.deb                           20-Aug-2014 22:27             1508134
gringo_4.4.0-1_i386.deb                            18-Aug-2014 16:27             1621474
gringo_4.4.0-1_ppc64el.deb                         21-Aug-2014 13:59             1580844
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 07:01               13544
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 07:01             2357330
gringo_5.1.0-4_arm64.deb                           20-Dec-2016 07:41             2222396
gringo_5.1.0-4_i386.deb                            20-Dec-2016 07:26             2487004
gringo_5.1.0-4_mips64el.deb                        20-Dec-2016 08:41             2337458
gringo_5.1.0-4_ppc64el.deb                         20-Dec-2016 07:26             2317296