minizinc_2.4.2-1build1_amd64.deb
minizinc_2.8.2+dfsg1-1build2_amd64.deb
minizinc_2.9.3+dfsg1-1_amd64.deb