Index of /professional/pool/main/g/gringo/

../
gringo_4.5.4-1.debian.tar.xz                       20-Dec-2015 19:46    6472
gringo_4.5.4-1.dsc                                 20-Dec-2015 19:46    2053
gringo_4.5.4-1_amd64.deb                           20-Dec-2015 19:46      2M
gringo_4.5.4-1_i386.deb                            20-Dec-2015 20:17      2M
gringo_4.5.4.orig.tar.gz                           20-Dec-2015 19:46      2M
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 15:01     13K
gringo_5.1.0-4.dsc                                 20-Dec-2016 15:01    2023
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 15:01      2M
gringo_5.1.0-4_i386.deb                            20-Dec-2016 15:26      2M
gringo_5.1.0.orig.tar.gz                           12-Dec-2016 04:52      2M