| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gringo_4.5.4-1_amd64.deb | 1.7 MiB | 2015-Dec-20 18:25 |
| gringo_5.2.2-5_amd64.deb | 2.1 MiB | 2018-Feb-05 12:34 |
| gringo_5.4.0-0ubuntu1_amd64.deb | 2.1 MiB | 2020-Feb-21 21:23 |
| gringo_5.4.1-3ubuntu3_amd64.deb | 2.0 MiB | 2022-Jan-19 13:13 |