../ minizinc-ide_2.5.3-1_amd64.deb 12-May-2025 11:33 773044 minizinc-ide_2.6.3-1_amd64.deb 16-Dec-2025 04:57 867132 minizinc-ide_2.8.2-1+b1_amd64.deb 24-Aug-2024 12:40 910648 minizinc-ide_2.8.2-1+b1_i386.deb 24-Aug-2024 12:40 958380 minizinc-ide_2.8.2-1_amd64.deb 29-Apr-2024 19:19 910800 minizinc-ide_2.8.2-1_i386.deb 29-Apr-2024 19:19 958224 minizinc-ide_2.8.5-1_amd64.deb 16-Dec-2025 04:54 919748 minizinc-ide_2.8.5-1_i386.deb 16-Dec-2025 04:55 968672