Index of /pool/main/g/gringo

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 gringo_5.6.2-2+b1_arm64.deb  2024-10-30 10:14  1.7M  
 gringo_5.6.2-2.debian.tar.xz 2024-06-25 14:02   24K  
 gringo_5.6.2-2.dsc           2024-06-25 14:02  2.0K  
 gringo_5.6.2-2_amd64.deb     2024-06-25 14:42  1.8M  
 gringo_5.6.2.orig.tar.gz     2024-02-12 10:07  4.8M