../ minizinc-ide_2.0.10-1_amd64.deb 16-Mar-2016 10:17 281702 minizinc-ide_2.1.7-1_amd64.deb 02-Oct-2018 09:21 252076 minizinc-ide_2.4.2-2build1_amd64.deb 01-Oct-2021 16:51 541712