../ 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_4.2.1-4.debian.tar.gz 12-Jan-2014 18:42 8893 gringo_4.2.1-4.dsc 12-Jan-2014 18:42 2041 gringo_4.2.1-4_armhf.deb 26-Jan-2014 11:08 717994 gringo_4.2.1.orig.tar.gz 16-Dec-2013 17:37 615728