../ gringo_5.4.1-3_amd64.deb 01-Jun-2021 10:09 1842476 gringo_5.4.1-3_arm64.deb 01-Jun-2021 13:25 1669972 gringo_5.4.1-3_armel.deb 01-Jun-2021 13:07 1552396 gringo_5.4.1-3_armhf.deb 01-Jun-2021 09:23 1588380 gringo_5.4.1-3_i386.deb 01-Jun-2021 11:48 1973724