../ minizinc-ide_2.0.14-1+b1_amd64.deb 24-Apr-2023 12:02 244490 minizinc-ide_2.1.7-1_amd64.deb 15-Apr-2024 08:27 250072 minizinc-ide_2.5.3-1_amd64.deb 07-Sep-2026 20:49 773044