| Parent directory/ | - | - |
| gringo_4.2.1.orig.tar.gz | 615728 | 2013-Dec-16 23:18 |
| gringo_4.2.1-4.debian.tar.gz | 8893 | 2014-Jan-13 06:28 |
| gringo_4.2.1-4.dsc | 2041 | 2014-Jan-13 06:28 |
| gringo_4.2.1-4_amd64.deb | 926788 | 2014-Jan-13 06:54 |
| gringo_4.2.1-4_i386.deb | 915338 | 2014-Jan-13 06:54 |
| gringo_4.5.4-1.debian.tar.xz | 6472 | 2015-Dec-20 17:24 |
| gringo_4.5.4.orig.tar.gz | 1677479 | 2015-Dec-20 17:24 |
| gringo_4.5.4-1.dsc | 2053 | 2015-Dec-20 17:24 |
| gringo_4.5.4-1_amd64.deb | 1833466 | 2015-Dec-20 17:25 |
| gringo_4.5.4-1_i386.deb | 1855812 | 2015-Dec-20 17:25 |
| gringo_5.2.2.orig.tar.gz | 2642685 | 2017-Nov-10 11:09 |
| gringo_5.2.2-5.dsc | 2068 | 2018-Feb-05 11:34 |
| gringo_5.2.2-5.debian.tar.xz | 13912 | 2018-Feb-05 11:34 |
| gringo_5.2.2-5_amd64.deb | 2184928 | 2018-Feb-05 11:34 |
| gringo_5.2.2-5_i386.deb | 2327204 | 2018-Feb-05 11:36 |
| gringo_5.4.0-0ubuntu1.dsc | 2143 | 2020-Feb-21 20:08 |
| gringo_5.4.0-0ubuntu1.debian.tar.xz | 16288 | 2020-Feb-21 20:08 |
| gringo_5.4.0.orig.tar.gz | 2822810 | 2020-Feb-21 20:08 |
| gringo_5.4.0-0ubuntu1_amd64.deb | 2235412 | 2020-Feb-21 20:23 |
| gringo_5.4.1.orig.tar.gz | 2822845 | 2020-Dec-31 21:34 |
| gringo_5.4.1-3ubuntu3.dsc | 2250 | 2022-Jan-19 12:09 |
| gringo_5.4.1-3ubuntu3.debian.tar.xz | 25156 | 2022-Jan-19 12:09 |
| gringo_5.4.1-3ubuntu3_amd64.deb | 2110376 | 2022-Jan-19 12:13 |
| gringo_5.4.1-3.1.debian.tar.xz | 21592 | 2022-Dec-27 04:54 |
| gringo_5.4.1-3.1.dsc | 2131 | 2022-Dec-27 04:54 |
| gringo_5.4.1-3.1_amd64.deb | 2115218 | 2022-Dec-27 04:54 |
| gringo_5.6.2.orig.tar.gz | 5079018 | 2024-Jan-26 10:09 |
| gringo_5.6.2-0ubuntu3_amd64.deb | 2126632 | 2024-Jan-31 10:35 |
| gringo_5.6.2-0ubuntu3.debian.tar.xz | 21788 | 2024-Jan-31 10:35 |
| gringo_5.6.2-0ubuntu3.dsc | 2153 | 2024-Jan-31 10:35 |