../ minizinc-ide_2.0.13-1.debian.tar.xz 07-Apr-2016 18:33 8548 minizinc-ide_2.0.13-1.dsc 07-Apr-2016 18:33 1759 minizinc-ide_2.0.13-1_amd64.deb 07-Apr-2016 18:33 284094 minizinc-ide_2.0.13-1_armel.deb 07-Apr-2016 23:57 261576 minizinc-ide_2.0.13-1_i386.deb 07-Apr-2016 23:47 294682 minizinc-ide_2.0.13.orig.tar.gz 07-Apr-2016 18:33 415645