| Parent directory/ | - | - |
| gringo_5.3.0-10+rpi1.debian.tar.xz | 18612 | 2019-Mar-14 21:28 |
| gringo_5.3.0-10+rpi1.dsc | 1237 | 2019-Mar-14 21:28 |
| gringo_5.3.0-10+rpi1_armhf.deb | 1938072 | 2019-Mar-14 21:28 |
| gringo_5.3.0.orig.tar.gz | 2684848 | 2018-Nov-11 17:41 |
| gringo_5.4.1-3+rpi1.debian.tar.xz | 24348 | 2020-Dec-30 20:04 |
| gringo_5.4.1-3+rpi1.dsc | 2297 | 2020-Dec-30 20:04 |
| gringo_5.4.1-3+rpi1_armhf.deb | 1555684 | 2020-Dec-30 20:04 |
| gringo_5.4.1-3.1+rpi1+b1_armhf.deb | 1536476 | 2023-Feb-26 20:11 |
| gringo_5.4.1-3.1+rpi1.debian.tar.xz | 26452 | 2022-Dec-16 10:08 |
| gringo_5.4.1-3.1+rpi1.dsc | 2302 | 2022-Dec-16 10:08 |
| gringo_5.4.1.orig.tar.gz | 2822845 | 2020-Dec-27 15:25 |
| gringo_5.6.2-2.debian.tar.xz | 24500 | 2024-Jun-25 12:02 |
| gringo_5.6.2-2.dsc | 2012 | 2024-Jun-25 12:02 |
| gringo_5.6.2-2_armhf.deb | 1603808 | 2024-Jun-27 09:57 |
| gringo_5.6.2.orig.tar.gz | 5079018 | 2024-Feb-12 09:07 |