../ 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_amd64.deb 23-May-2012 14:50 2M gringo_3.0.4.orig.tar.gz 26-Jan-2012 14:48 527K gringo_4.2.1-4_amd64.deb 12-Jan-2014 18:42 887K gringo_4.2.1-4_i386.deb 12-Jan-2014 19:12 877K gringo_4.5.4.orig.tar.gz 20-Dec-2015 11:46 2M