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

../
gringo_4.5.4-1.debian.tar.xz                       20-Dec-2015 17:24                6472
gringo_4.5.4-1.dsc                                 20-Dec-2015 17:24                2053
gringo_4.5.4-1_amd64.deb                           20-Dec-2015 17:25             1833466
gringo_4.5.4.orig.tar.gz                           20-Dec-2015 17:24             1677479
gringo_5.2.2-5.debian.tar.xz                       05-Feb-2018 11:34               13912
gringo_5.2.2-5.dsc                                 05-Feb-2018 11:34                2068
gringo_5.2.2-5_amd64.deb                           05-Feb-2018 11:34             2184928
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 11:09             2642685
gringo_5.4.0-0ubuntu1.debian.tar.xz                21-Feb-2020 20:08               16288
gringo_5.4.0-0ubuntu1.dsc                          21-Feb-2020 20:08                2143
gringo_5.4.0-0ubuntu1_amd64.deb                    21-Feb-2020 20:23             2235412
gringo_5.4.0.orig.tar.gz                           21-Feb-2020 20:08             2822810