Index of /enterprise/pool/main/g/gringo/

../
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_arm64.deb                           20-Dec-2016 15:41      2M
gringo_5.1.0-4_i386.deb                            20-Dec-2016 15:26      2M
gringo_5.1.0-4_mips64el.deb                        20-Dec-2016 16:41      2M
gringo_5.1.0.orig.tar.gz                           12-Dec-2016 04:52      2M
gringo_5.2.2-6.debian.tar.xz                       03-May-2018 14:41     14K
gringo_5.2.2-6.dsc                                 03-May-2018 14:41    2087
gringo_5.2.2-6_amd64.deb                           03-May-2018 15:27      2M
gringo_5.2.2-6_i386.deb                            03-May-2018 15:27      2M
gringo_5.2.2.orig.tar.gz                           10-Nov-2017 15:36      3M