![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | gringo_4.2.1-4_amd64.deb | 2014-01-13 03:54 | 905K | |
![]() | gringo_4.5.4-1_amd64.deb | 2015-12-20 14:25 | 1.7M | |
![]() | gringo_5.4.1-3ubuntu3_amd64.deb | 2022-01-19 08:13 | 2.0M | |
![]() | gringo_5.6.2-0ubuntu3_amd64.deb | 2024-01-31 06:35 | 2.0M | |
![]() | gringo_5.2.2-5_amd64.deb | 2018-02-05 08:34 | 2.1M | |
![]() | gringo_5.4.0-0ubuntu1_amd64.deb | 2020-02-21 16:23 | 2.1M | |