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


../
gringo_4.4.0-1.debian.tar.xz                       18-Aug-2014 15:52                8304
gringo_4.4.0-1.dsc                                 18-Aug-2014 15:52                2053
gringo_4.4.0-1_amd64.deb                           18-Aug-2014 15:52             1612758
gringo_4.4.0-1_i386.deb                            18-Aug-2014 16:27             1621474
gringo_4.4.0.orig.tar.gz                           18-Aug-2014 15:52             1482711
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 07:01               13544
gringo_5.1.0-4.dsc                                 20-Dec-2016 07:01                2023
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 07:01             2357330
gringo_5.1.0-4_i386.deb                            20-Dec-2016 07:26             2487004
gringo_5.1.0.orig.tar.gz                           11-Dec-2016 20:52             2232639
gringo_5.3.0-10.debian.tar.xz                      02-Mar-2019 08:38               18496
gringo_5.3.0-10.dsc                                02-Mar-2019 08:38                2100
gringo_5.3.0-10_amd64.deb                          02-Mar-2019 09:43             2228044
gringo_5.3.0-10_i386.deb                           02-Mar-2019 09:28             2361176
gringo_5.3.0.orig.tar.gz                           11-Nov-2018 17:41             2684848
gringo_5.4.1-3+b1_amd64.deb                        28-Mar-2022 08:27             1869068
gringo_5.4.1-3+b1_i386.deb                         28-Mar-2022 09:19             1978620
gringo_5.4.1-3.debian.tar.xz                       28-Dec-2020 13:44               23188
gringo_5.4.1-3.dsc                                 28-Dec-2020 13:44                2128
gringo_5.4.1-3_amd64.deb                           28-Dec-2020 14:09             1842476
gringo_5.4.1-3_i386.deb                            28-Dec-2020 14:14             1973724
gringo_5.4.1.orig.tar.gz                           27-Dec-2020 15:25             2822845