../ gringo_3.0.4-3_amd64.deb 23-May-2012 14:50 1591394 gringo_4.4.0-1_amd64.deb 18-Aug-2014 15:52 1612758 gringo_5.1.0-4_amd64.deb 20-Dec-2016 07:01 2357330 gringo_5.3.0-10_amd64.deb 02-Mar-2019 09:43 2228044 gringo_5.4.1-3_amd64.deb 28-Dec-2020 14:09 1842476