| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| gringo_3.0.4-3_amd64.deb | 2M | 24-Sep-2017 13:04 |
| gringo_4.2.1-4_amd64.deb | 887K | 15-Sep-2017 15:31 |
| gringo_4.5.4-3_amd64.deb | 2M | 16-Aug-2017 06:07 |
| gringo_5.2.2-5.debian.tar.xz | 14K | 05-Feb-2018 07:05 |
| gringo_5.2.2-5.dsc | 2068 | 05-Feb-2018 07:05 |
| gringo_5.2.2-5_amd64.deb | 2M | 05-Feb-2018 08:10 |
| gringo_5.2.2.orig.tar.gz | 3M | 10-Nov-2017 07:36 |