../ gringo_4.2.1-4_amd64.deb 13-Jan-2014 06:54 926788 gringo_4.2.1-4_i386.deb 13-Jan-2014 06:54 915338