../ minizinc-ide_2.0.10-1.debian.tar.xz 03-Jan-2016 05:14 8540 minizinc-ide_2.0.10-1.dsc 03-Jan-2016 05:14 1759 minizinc-ide_2.0.10-1_amd64.deb 03-Jan-2016 05:28 281702 minizinc-ide_2.0.10.orig.tar.gz 03-Jan-2016 05:14 415324