Index of /ubuntu/pool/universe/g/gringo/


../
gringo_4.2.1-4.debian.tar.gz                                                                                             13-Jan-2014 06:28    8893
gringo_4.2.1-4.dsc                                                                                                       13-Jan-2014 06:28    2041
gringo_4.2.1-4_amd64.deb                                                                                                 13-Jan-2014 06:54    905K
gringo_4.2.1-4_i386.deb                                                                                                  13-Jan-2014 06:54    894K
gringo_4.2.1.orig.tar.gz                                                                                                 16-Dec-2013 23:18    601K
gringo_4.5.4-1.debian.tar.xz                                                                                             20-Dec-2015 17:24    6472
gringo_4.5.4-1.dsc                                                                                                       20-Dec-2015 17:24    2053
gringo_4.5.4-1_amd64.deb                                                                                                 20-Dec-2015 17:25      2M
gringo_4.5.4-1_i386.deb                                                                                                  20-Dec-2015 17:25      2M
gringo_4.5.4.orig.tar.gz                                                                                                 20-Dec-2015 17:24      2M
gringo_5.2.2-5.debian.tar.xz                                                                                             05-Feb-2018 11:34     14K
gringo_5.2.2-5.dsc                                                                                                       05-Feb-2018 11:34    2068
gringo_5.2.2-5_amd64.deb                                                                                                 05-Feb-2018 11:34      2M
gringo_5.2.2-5_i386.deb                                                                                                  05-Feb-2018 11:36      2M
gringo_5.2.2.orig.tar.gz                                                                                                 10-Nov-2017 11:09      3M
gringo_5.4.0-0ubuntu1.debian.tar.xz                                                                                      21-Feb-2020 20:08     16K
gringo_5.4.0-0ubuntu1.dsc                                                                                                21-Feb-2020 20:08    2143
gringo_5.4.0-0ubuntu1_amd64.deb                                                                                          21-Feb-2020 20:23      2M
gringo_5.4.0.orig.tar.gz                                                                                                 21-Feb-2020 20:08      3M
gringo_5.4.1-3.1.debian.tar.xz                                                                                           27-Dec-2022 04:54     21K
gringo_5.4.1-3.1.dsc                                                                                                     27-Dec-2022 04:54    2131
gringo_5.4.1-3.1_amd64.deb                                                                                               27-Dec-2022 04:54      2M
gringo_5.4.1-3ubuntu3.debian.tar.xz                                                                                      19-Jan-2022 12:09     25K
gringo_5.4.1-3ubuntu3.dsc                                                                                                19-Jan-2022 12:09    2250
gringo_5.4.1-3ubuntu3_amd64.deb                                                                                          19-Jan-2022 12:13      2M
gringo_5.4.1.orig.tar.gz                                                                                                 31-Dec-2020 21:34      3M
gringo_5.6.2-0ubuntu3.debian.tar.xz                                                                                      31-Jan-2024 10:35     21K
gringo_5.6.2-0ubuntu3.dsc                                                                                                31-Jan-2024 10:35    2153
gringo_5.6.2-0ubuntu3_amd64.deb                                                                                          31-Jan-2024 10:35      2M
gringo_5.6.2-2.debian.tar.xz                                                                                             26-Jun-2024 10:36     24K
gringo_5.6.2-2.dsc                                                                                                       26-Jun-2024 10:36    2012
gringo_5.6.2-2_amd64.deb                                                                                                 26-Jun-2024 12:14      2M
gringo_5.6.2.orig.tar.gz                                                                                                 26-Jan-2024 10:09      5M