Index of /deepin/pool/main/g/gringo

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 gringo_5.3.0.orig.tar.gz      2022-04-11 05:22  2.6M  
 gringo_5.3.0-10_i386.deb      2022-04-11 05:06  2.3M  
 gringo_5.3.0-10_amd64.deb     2022-04-11 05:36  2.1M  
 gringo_5.3.0-10.dsc           2022-04-11 05:22  2.1K  
 gringo_5.3.0-10.debian.tar.xz 2022-04-11 05:22   18K