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.1+b1_amd64.deb                      30-Apr-2023 16:18      2M
gringo_5.4.1-3.1+b1_arm64.deb                      30-Apr-2023 16:18      2M
gringo_5.4.1-3.1.debian.tar.xz                     29-Apr-2023 21:33     21K
gringo_5.4.1-3.1.dsc                               29-Apr-2023 21:33    2131
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