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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gringo_5.4.1-3.1+b1_amd64.deb  2023-01-03 08:45  1.8M  
 gringo_5.4.1-3.1.debian.tar.xz 2022-11-19 12:27   21K  
 gringo_5.4.1-3.1.dsc           2022-11-19 12:27  2.1K  
 gringo_5.4.1.orig.tar.gz       2020-12-27 16:25  2.7M