../ minizinc_2.0.8+dfsg1-1.debian.tar.xz 25-Oct-2015 14:39 8636 minizinc_2.0.8+dfsg1-1.dsc 25-Oct-2015 14:39 1754 minizinc_2.0.8+dfsg1-1_armhf.deb 31-Oct-2015 16:08 629182 minizinc_2.0.8+dfsg1.orig.tar.gz 25-Oct-2015 14:39 394074