../ minizinc-ide_2.0.14-1+b1_amd64.deb 08-Jan-2023 18:14 244490 minizinc-ide_2.0.14-1+b1_i386.deb 08-Jan-2023 17:50 262870 minizinc-ide_2.1.7-1_amd64.deb 08-Jan-2023 14:24 250072 minizinc-ide_2.1.7-1_i386.deb 08-Jan-2023 13:50 266472 minizinc-ide_2.5.3-1_amd64.deb 08-Jan-2023 12:19 773044 minizinc-ide_2.5.3-1_i386.deb 08-Jan-2023 11:33 816052 minizinc-ide_2.6.3-1_amd64.deb 01-Aug-2023 14:06 867132 minizinc-ide_2.6.3-1_i386.deb 01-Aug-2023 15:00 918176