../ minizinc-ide_2.1.7-1_amd64.deb 11-Mar-2022 22:19 246K minizinc-ide_2.4.2-2build1_amd64.deb 12-Mar-2022 15:56 529K minizinc-ide_2.5.3-1_amd64.deb 07-Nov-2023 18:35 755K