../ minizinc-ide_2.5.3-1_amd64.deb 09-Oct-2026 15:35 772668 minizinc-ide_2.8.2-1build2_amd64.deb 09-Oct-2026 15:35 909930 minizinc-ide_2.8.5-1build1_amd64.deb 09-Oct-2026 15:35 923686