../ minizinc-ide_2.0.10-1_amd64.deb 28-May-2020 21:35 281702 minizinc-ide_2.1.7-1_amd64.deb 28-May-2020 17:46 252076 minizinc-ide_2.4.2-2build1_amd64.deb 21-Dec-2020 16:07 541712