Index of /blankon/pool/main/g/gringo/

../
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 07:01               13544
gringo_5.1.0-4.dsc                                 20-Dec-2016 07:01                2023
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 07:01             2357330
gringo_5.1.0-4_i386.deb                            20-Dec-2016 07:26             2487004
gringo_5.1.0.orig.tar.gz                           11-Dec-2016 20:52             2232639