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
gringo_5.4.0-2.debian.tar.xz                       06-Apr-2020 02:44               23080
gringo_5.4.0-2.dsc                                 06-Apr-2020 02:44                2145
gringo_5.4.0-2_amd64.deb                           06-Apr-2020 02:48             1875412
gringo_5.4.0-2_arm64.deb                           06-Apr-2020 02:48             1736444
gringo_5.4.0.orig.tar.gz                           06-Apr-2020 02:44             2822810