../ minizinc-ide_2.10.0-1_amd64.deb 08-Oct-2026 06:10 989180 minizinc-ide_2.6.3-1_amd64.deb 08-Oct-2026 06:13 867132 minizinc-ide_2.8.5-1_amd64.deb 08-Oct-2026 06:12 919748 minizinc-ide_2.8.5-1_i386.deb 13-Jan-2026 13:17 968672