../ minizinc-ide_2.1.7-1_amd64.deb 07-Jan-2019 19:25 252076 minizinc-ide_2.1.7-1_i386.deb 07-Jan-2019 18:58 268416