../ gringo_4.4.0-1_amd64.deb 18-Aug-2014 15:52 1612758 gringo_4.4.0-1_i386.deb 18-Aug-2014 16:27 1621474 gringo_5.1.0-4_amd64.deb 20-Dec-2016 07:01 2357330 gringo_5.1.0-4_i386.deb 20-Dec-2016 07:26 2487004 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 gringo_5.4.1-3_amd64.deb 28-Dec-2020 14:09 1842476 gringo_5.4.1-3_i386.deb 28-Dec-2020 14:14 1973724