../ minizinc-ide_2.0.14-1.debian.tar.xz 29-Aug-2016 17:35 9020 minizinc-ide_2.0.14-1_amd64.deb 29-Aug-2016 17:35 242434 minizinc-ide_2.0.14-1_arm64.deb 29-Aug-2016 18:35 236182 minizinc-ide_2.0.14-1_i386.deb 29-Aug-2016 18:15 262060 minizinc-ide_2.0.14-1_mips64el.deb 29-Aug-2016 18:45 239290 minizinc-ide_2.0.14-1_ppc64el.deb 29-Aug-2016 18:35 233978