minizinc_2.9.3+dfsg1-1.debian.tar.xz
minizinc_2.9.3+dfsg1-1.dsc
minizinc_2.9.3+dfsg1-1_amd64.deb
minizinc_2.9.3+dfsg1-1_i386.deb
minizinc_2.9.3+dfsg1.orig.tar.xz