../ minizinc-ide_2.10.0-1.debian.tar.xz 23-Aug-2026 10:59 9392 minizinc-ide_2.10.0-1.dsc 23-Aug-2026 10:59 1944 minizinc-ide_2.10.0-1_amd64.deb 23-Aug-2026 11:20 966K minizinc-ide_2.10.0-1_arm64.deb 23-Aug-2026 11:14 838K minizinc-ide_2.10.0-1_armhf.deb 23-Aug-2026 11:19 840K minizinc-ide_2.10.0-1_i386.deb 23-Aug-2026 11:25 1002K minizinc-ide_2.10.0.orig.tar.gz 23-Aug-2026 10:59 816K