minizinc_2.9.3+dfsg1-1_amd64.deb
minizinc_2.9.3+dfsg1-1_arm64.deb