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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 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.3.0.orig.ta..> 2018-11-11 20:41  2.6M  
 gringo_5.4.1-3.1+b1_..> 2023-01-03 10:45  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.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.orig.ta..> 2020-12-27 18:25  2.7M  
 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  
 gringo_5.6.2.orig.ta..> 2024-02-12 12:07  4.8M