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