../ minizinc-ide_2.1.7-1_amd64.deb 06-Apr-2022 20:55 252076 minizinc-ide_2.4.2-2build1_amd64.deb 02-Apr-2022 06:37 541712 minizinc-ide_2.5.3-1_amd64.deb 31-Mar-2022 18:51 772668 minizinc-ide_2.8.2-1build2_amd64.deb 07-Apr-2024 20:07 909930