../ minizinc-ide_2.1.7-1_amd64.deb 11-Sep-2025 17:59 252076 minizinc-ide_2.4.2-2build1_amd64.deb 03-Sep-2025 18:17 541712 minizinc-ide_2.5.3-1_amd64.deb 04-Sep-2025 21:38 772668 minizinc-ide_2.8.2-1build2_amd64.deb 04-Sep-2025 17:53 909930