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