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


../
gringo_5.3.0-10.debian.tar.xz                      12-Mar-2019 08:56     18K
gringo_5.3.0-10.dsc                                12-Mar-2019 08:56    2100
gringo_5.3.0-10_amd64.deb                          12-Mar-2019 21:14      2M
gringo_5.3.0-10_arm64.deb                          12-Mar-2019 21:14      2M
gringo_5.3.0.orig.tar.gz                           24-Nov-2018 03:58      3M
gringo_5.4.1-3.debian.tar.xz                       30-Dec-2020 08:43     23K
gringo_5.4.1-3.dsc                                 30-Dec-2020 08:43    2128
gringo_5.4.1-3_amd64.deb                           30-Dec-2020 08:44      2M
gringo_5.4.1-3_arm64.deb                           30-Dec-2020 08:44      2M
gringo_5.4.1.orig.tar.gz                           30-Dec-2020 08:43      3M