Index of /debian/pool/main/g/gringo
Name Last modified Size Description
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
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
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
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
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