Index of /201910282329.old/raspbian/pool/main/g/gringo/

../
gringo_4.4.0.orig.tar.gz                           18-Aug-2014 15:52             1482711
gringo_5.3.0.orig.tar.gz                           11-Nov-2018 17:41             2684848