minizinc-ide_2.4.2-2build1_amd64.deb
minizinc-ide_2.8.2-1build2_amd64.deb
minizinc-ide_2.8.5-1build1_amd64.deb