minizinc-ide_2.8.5-1_amd64.deb
minizinc-ide_2.8.5-1_arm64.deb