../ gringo_5.2.2-5_amd64.deb 11-Sep-2025 17:43 2184928 gringo_5.4.0-0ubuntu1_amd64.deb 03-Sep-2025 17:57 2235412 gringo_5.4.1-3ubuntu3_amd64.deb 04-Sep-2025 21:55 2110376 gringo_5.6.2-0ubuntu3_amd64.deb 04-Sep-2025 17:23 2126632