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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gringo_5.6.2.orig.tar.gz       2024-02-12 17:07  4.8M  
 gringo_5.6.2-2_i386.deb        2024-06-25 20:42  1.9M  
 gringo_5.6.2-2_amd64.deb       2024-06-25 20:42  1.8M  
 gringo_5.6.2-2.dsc             2024-06-25 20:02  2.0K  
 gringo_5.6.2-2.debian.tar.xz   2024-06-25 20:02   24K  
 gringo_5.4.1.orig.tar.gz       2020-12-27 23:25  2.7M  
 gringo_5.4.1-3_i386.deb        2020-12-28 22:14  1.9M  
 gringo_5.4.1-3_amd64.deb       2020-12-28 22:09  1.8M  
 gringo_5.4.1-3.dsc             2020-12-28 21:44  2.1K  
 gringo_5.4.1-3.debian.tar.xz   2020-12-28 21:44   23K  
 gringo_5.4.1-3.1.dsc           2022-11-19 19:27  2.1K  
 gringo_5.4.1-3.1.debian.tar.xz 2022-11-19 19:27   21K  
 gringo_5.4.1-3.1+b1_i386.deb   2023-01-03 22:31  1.9M  
 gringo_5.4.1-3.1+b1_amd64.deb  2023-01-03 15:45  1.8M