../ minizinc-ide_2.5.3-1_amd64.deb 01-Jun-2021 13:43 773044 minizinc-ide_2.5.3-1_arm64.deb 01-Jun-2021 09:34 713224 minizinc-ide_2.5.3-1_armhf.deb 01-Jun-2021 12:25 717672 minizinc-ide_2.5.3-1_i386.deb 01-Jun-2021 13:22 816052