../ gringo_3.0.4-3.debian.tar.gz 23-May-2012 14:50 9079 gringo_3.0.4-3.dsc 23-May-2012 14:50 2033 gringo_3.0.4-3_armhf.deb 03-Jun-2012 12:51 1409678 gringo_3.0.4.orig.tar.gz 19-Apr-2012 01:04 539520 gringo_3.0.5-1.debian.tar.gz 21-May-2013 17:13 7666 gringo_3.0.5-1.dsc 21-May-2013 17:13 2006 gringo_3.0.5-1_armhf.deb 10-Jun-2013 20:46 1397438 gringo_3.0.5.orig.tar.gz 21-May-2013 17:13 542948