../ minizinc-ide_2.0.10-1.debian.tar.xz 02-Jan-2016 20:26 8540 minizinc-ide_2.0.10-1.dsc 02-Jan-2016 20:26 1759 minizinc-ide_2.0.10-1_armhf.deb 08-Jan-2016 10:08 259144 minizinc-ide_2.0.10.orig.tar.gz 02-Jan-2016 20:26 415324