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

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 gringo_3.0.4-3.debian.tar.gz 2012-05-23 16:50  8.9K  
 gringo_3.0.4-3.dsc           2012-05-23 16:50  2.0K  
 gringo_3.0.4-3_amd64.deb     2012-05-23 16:50  1.5M  
 gringo_3.0.4-3_i386.deb      2012-05-23 17:35  1.5M  
 gringo_3.0.4.orig.tar.gz     2012-01-26 15:48  527K  
 gringo_4.4.0-1.debian.tar.xz 2014-08-18 17:52  8.1K  
 gringo_4.4.0-1.dsc           2014-08-18 17:52  2.0K  
 gringo_4.4.0-1_amd64.deb     2014-08-18 17:52  1.5M  
 gringo_4.4.0-1_i386.deb      2014-08-18 18:27  1.5M  
 gringo_4.4.0.orig.tar.gz     2014-08-18 17:52  1.4M  
 gringo_5.1.0-4.debian.tar.xz 2016-12-20 08:01   13K  
 gringo_5.1.0-4.dsc           2016-12-20 08:01  2.0K  
 gringo_5.1.0-4_amd64.deb     2016-12-20 08:01  2.2M  
 gringo_5.1.0-4_i386.deb      2016-12-20 08:26  2.4M  
 gringo_5.1.0.orig.tar.gz     2016-12-11 21:52  2.1M