../ minizinc-ide_2.1.7-1_amd64.deb 08-Jan-2023 14:24 250072 minizinc-ide_2.5.3-1_amd64.deb 08-Jan-2023 12:19 773044 minizinc-ide_2.6.3-1_amd64.deb 01-Aug-2023 14:06 867132