../ gringo_5.6.2-1.debian.tar.xz 12-Feb-2024 09:07 24572 gringo_5.6.2-1.dsc 12-Feb-2024 09:07 2117 gringo_5.6.2-1_amd64.deb 12-Feb-2024 09:42 1976124 gringo_5.6.2-1_arm64.deb 12-Feb-2024 09:42 1843776 gringo_5.6.2-1_armel.deb 12-Feb-2024 09:42 1693868 gringo_5.6.2-1_armhf.deb 12-Feb-2024 09:42 1759468 gringo_5.6.2-1_i386.deb 12-Feb-2024 09:37 2167164 gringo_5.6.2.orig.tar.gz 12-Feb-2024 09:07 5079018