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