../ gringo_5.3.0-10_amd64.deb 02-Mar-2019 09:43 2228044 gringo_5.3.0-10_i386.deb 02-Mar-2019 09:28 2361176