Index of /bionic-frozen/pool/universe/g/gringo/

../
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_i386.deb                            05-Feb-2018 11:36             2327204
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 11:09             2642685