../ minizinc-ide_2.5.3-1_amd64.deb 23-Jul-2026 09:10 773044 minizinc-ide_2.6.3-1_amd64.deb 22-Jul-2026 14:08 867132 minizinc-ide_2.8.5-1_amd64.deb 23-Jul-2026 11:10 919748