../ minizinc_2.0.10+dfsg1-1.debian.tar.xz 02-Jan-2016 20:26 9136 minizinc_2.0.10+dfsg1-1.dsc 02-Jan-2016 20:26 1797 minizinc_2.0.10+dfsg1-1_armhf.deb 08-Jan-2016 10:08 973956 minizinc_2.0.10+dfsg1.orig.tar.gz 02-Jan-2016 20:26 446284 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.orig.tar.gz 17-Jan-2016 16:02 446388