Name                                Last modified      Size  Description
 Parent Directory                                         -   
 gringo_4.2.1-4.debian.tar.gz        2014-01-13 01:28  8.7K  
 gringo_4.2.1-4.dsc                  2014-01-13 01:28  2.0K  
 gringo_4.2.1-4_amd64.deb            2014-01-13 01:54  905K  
 gringo_4.2.1-4_i386.deb             2014-01-13 01:54  894K  
 gringo_4.2.1.orig.tar.gz            2013-12-16 18:18  601K  
 gringo_4.5.4-1.debian.tar.xz        2015-12-20 12:24  6.3K  
 gringo_4.5.4-1.dsc                  2015-12-20 12:24  2.0K  
 gringo_4.5.4-1_amd64.deb            2015-12-20 12:25  1.7M  
 gringo_4.5.4-1_i386.deb             2015-12-20 12:25  1.8M  
 gringo_4.5.4.orig.tar.gz            2015-12-20 12:24  1.6M  
 gringo_5.2.2-5.debian.tar.xz        2018-02-05 06:34   14K  
 gringo_5.2.2-5.dsc                  2018-02-05 06:34  2.0K  
 gringo_5.2.2-5_amd64.deb            2018-02-05 06:34  2.1M  
 gringo_5.2.2-5_i386.deb             2018-02-05 06:36  2.2M  
 gringo_5.2.2.orig.tar.gz            2017-11-10 06:09  2.5M  
 gringo_5.4.0-0ubuntu1.debian.tar.xz 2020-02-21 15:08   16K  
 gringo_5.4.0-0ubuntu1.dsc           2020-02-21 15:08  2.1K  
 gringo_5.4.0-0ubuntu1_amd64.deb     2020-02-21 15:23  2.1M  
 gringo_5.4.0.orig.tar.gz            2020-02-21 15:08  2.7M  
 gringo_5.4.1-3.1.debian.tar.xz      2022-12-26 23:54   21K  
 gringo_5.4.1-3.1.dsc                2022-12-26 23:54  2.1K  
 gringo_5.4.1-3.1_amd64.deb          2022-12-26 23:54  2.0M  
 gringo_5.4.1-3ubuntu3.debian.tar.xz 2022-01-19 07:09   25K  
 gringo_5.4.1-3ubuntu3.dsc           2022-01-19 07:09  2.2K  
 gringo_5.4.1-3ubuntu3_amd64.deb     2022-01-19 07:13  2.0M  
 gringo_5.4.1.orig.tar.gz            2020-12-31 16:34  2.7M