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