../ 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 1591394 gringo_3.0.4.orig.tar.gz 26-Jan-2012 14:48 539520 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