../ minizinc_2.0.11+dfsg1-1.debian.tar.xz 17-Jan-2016 16:02 9164 minizinc_2.0.11+dfsg1-1.dsc 17-Jan-2016 16:02 1797 minizinc_2.0.11+dfsg1-1_armhf.deb 23-Jan-2016 16:08 974470 minizinc_2.0.11+dfsg1.orig.tar.gz 17-Jan-2016 16:02 446388