../ 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.orig.tar.gz 02-Jan-2016 20:26 415324 minizinc-ide_2.0.8-1.debian.tar.xz 25-Oct-2015 14:39 8500 minizinc-ide_2.0.8-1.dsc 25-Oct-2015 14:39 1752 minizinc-ide_2.0.8-1_armhf.deb 02-Nov-2015 16:08 258656 minizinc-ide_2.0.8.orig.tar.gz 25-Oct-2015 14:39 415087