Index of /debian/pool/main/g/gringo

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] gringo_5.3.0.orig.ta..> 2018-11-11 20:41 2.6M [   ] gringo_5.3.0-10.debi..> 2019-03-02 11:38 18K [TXT] gringo_5.3.0-10.dsc 2019-03-02 11:38 2.1K [   ] gringo_5.3.0-10_amd6..> 2019-03-02 12:43 2.1M [   ] gringo_5.4.1.orig.ta..> 2020-12-27 18:25 2.7M [   ] gringo_5.4.1-3.debia..> 2020-12-28 16:44 23K [TXT] gringo_5.4.1-3.dsc 2020-12-28 16:44 2.1K [   ] gringo_5.4.1-3_amd64..> 2020-12-28 17:09 1.8M [   ] gringo_5.4.1-3.1.deb..> 2022-11-19 14:27 21K [TXT] gringo_5.4.1-3.1.dsc 2022-11-19 14:27 2.1K [   ] gringo_5.4.1-3.1+b1_..> 2023-01-03 10:45 1.8M [   ] gringo_5.6.2.orig.ta..> 2024-02-12 12:07 4.8M [   ] gringo_5.6.2-2.debia..> 2024-06-25 15:02 24K [TXT] gringo_5.6.2-2.dsc 2024-06-25 15:02 2.0K [   ] gringo_5.6.2-2_amd64..> 2024-06-25 15:42 1.8M