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