Index of /pureos/pool/main/g/gringo/


../
gringo_5.3.0-10.debian.tar.xz                      12-Mar-2019 08:56               18496
gringo_5.3.0-10.dsc                                12-Mar-2019 08:56                2100
gringo_5.3.0-10_amd64.deb                          12-Mar-2019 21:14             2228044
gringo_5.3.0-10_arm64.deb                          12-Mar-2019 21:14             2088676
gringo_5.3.0.orig.tar.gz                           24-Nov-2018 03:58             2684848