Index of /debian/pool/main/g/gringo/

../
gringo_5.3.0-10_amd64.deb                          02-Mar-2019 17:43             2228044
gringo_5.3.0-10_arm64.deb                          02-Mar-2019 17:28             2088676
gringo_5.3.0-10_i386.deb                           02-Mar-2019 17:28             2361176
gringo_5.3.0-10_mips64el.deb                       02-Mar-2019 19:43             2096784
gringo_5.3.0-10_ppc64el.deb                        02-Mar-2019 17:28             2287176
gringo_5.4.1-3.1+b1_amd64.deb                      03-Jan-2023 15:45             1887596
gringo_5.4.1-3.1+b1_arm64.deb                      03-Jan-2023 14:12             1696764
gringo_5.4.1-3.1+b1_i386.deb                       03-Jan-2023 22:31             1974292
gringo_5.4.1-3.1+b1_mips64el.deb                   04-Jan-2023 04:29             1721088
gringo_5.4.1-3.1+b1_ppc64el.deb                    05-Jan-2023 14:14             1971348
gringo_5.4.1-3.1_riscv64.deb                       04-Aug-2023 06:53             1945708
gringo_5.4.1-3_amd64.deb                           28-Dec-2020 22:09             1842476
gringo_5.4.1-3_arm64.deb                           28-Dec-2020 22:30             1669972
gringo_5.4.1-3_i386.deb                            28-Dec-2020 22:14             1973724
gringo_5.4.1-3_mips64el.deb                        29-Dec-2020 05:57             1699856
gringo_5.4.1-3_ppc64el.deb                         28-Dec-2020 22:14             1901276