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

Icon  Name                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                   -   
[   ] gringo_5.3.0-10.debian.tar.xz 2022-04-11 05:22   18K  
[   ] gringo_5.3.0-10.dsc           2022-04-11 05:22  2.1K  
[   ] gringo_5.3.0-10_amd64.deb     2022-04-11 05:36  2.1M  
[   ] gringo_5.3.0-10_i386.deb      2022-04-11 05:06  2.3M  
[   ] gringo_5.3.0.orig.tar.gz      2022-04-11 05:22  2.6M
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80