../ gringo_5.1.0-4_amd64.deb 08-Jan-2023 17:36 2357330 gringo_5.1.0-4_i386.deb 08-Jan-2023 18:02 2487004 gringo_5.3.0-10_amd64.deb 08-Jan-2023 13:49 2228044 gringo_5.3.0-10_i386.deb 08-Jan-2023 13:38 2361176 gringo_5.4.1-3.1+b1_amd64.deb 01-Aug-2023 13:57 1887596 gringo_5.4.1-3.1+b1_i386.deb 01-Aug-2023 13:00 1974292 gringo_5.4.1-3_amd64.deb 08-Jan-2023 11:57 1842476 gringo_5.4.1-3_i386.deb 08-Jan-2023 11:37 1973724