../ minizinc-ide_2.5.3-1_amd64.deb 15-Aug-2026 12:56 772668 minizinc-ide_2.8.2-1build2_amd64.deb 15-Aug-2026 12:56 909930 minizinc-ide_2.8.5-1build1_amd64.deb 15-Aug-2026 12:56 923686