minizinc-ide_2.8.5-1.debian.tar.xz
minizinc-ide_2.8.5-1.dsc
minizinc-ide_2.8.5-1_amd64.deb
minizinc-ide_2.8.5-1_i386.deb
minizinc-ide_2.8.5.orig.tar.gz