../ minizinc-ide_2.6.3-1.debian.tar.xz 31-Jul-2024 12:29 13224 minizinc-ide_2.6.3-1.dsc 31-Jul-2024 12:29 1789 minizinc-ide_2.6.3-1_amd64.deb 31-Jul-2024 12:23 867132 minizinc-ide_2.6.3-1_arm64.deb 31-Jul-2024 11:56 803584 minizinc-ide_2.6.3-1_i386.deb 31-Jul-2024 12:30 918176 minizinc-ide_2.6.3.orig.tar.gz 31-Jul-2024 12:29 827264