gringo_5.8.0-1_amd64.deb
gringo_5.8.0-1_arm64.deb