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