| Parent directory/ | - | - |
| gringo_3.0.3.orig.tar.gz | 525K | 2011-May-04 14:09 |
| gringo_3.0.3-7.debian.tar.gz | 7287 | 2012-Jan-08 02:34 |
| gringo_3.0.3-7.dsc | 2041 | 2012-Jan-08 02:34 |
| gringo_3.0.3-7_amd64.deb | 1M | 2012-Jan-08 02:35 |
| gringo_3.0.3-7_i386.deb | 1M | 2012-Jan-08 02:35 |
| gringo_4.2.1.orig.tar.gz | 601K | 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 | 905K | 2014-Jan-13 06:54 |
| gringo_4.2.1-4_i386.deb | 894K | 2014-Jan-13 06:54 |
| gringo_4.5.4-1.debian.tar.xz | 6472 | 2015-Dec-20 17:24 |
| gringo_4.5.4-1.dsc | 2053 | 2015-Dec-20 17:24 |
| gringo_4.5.4.orig.tar.gz | 2M | 2015-Dec-20 17:24 |
| gringo_4.5.4-1_amd64.deb | 2M | 2015-Dec-20 17:25 |
| gringo_4.5.4-1_i386.deb | 2M | 2015-Dec-20 17:25 |
| gringo_5.1.0.orig.tar.gz | 2M | 2016-Dec-12 05:29 |
| gringo_5.1.0-5.debian.tar.xz | 13K | 2017-Aug-17 11:08 |
| gringo_5.1.0-5.dsc | 2023 | 2017-Aug-17 11:08 |
| gringo_5.1.0-5_i386.deb | 2M | 2017-Aug-17 11:18 |
| gringo_5.1.0-5_amd64.deb | 2M | 2017-Aug-17 11:23 |
| gringo_5.2.2.orig.tar.gz | 3M | 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 | 14K | 2018-Feb-05 11:34 |
| gringo_5.2.2-5_amd64.deb | 2M | 2018-Feb-05 11:34 |
| gringo_5.2.2-5_i386.deb | 2M | 2018-Feb-05 11:36 |