../ minizinc-ide_2.10.0-1.debian.tar.xz 23-Aug-2026 08:59 9392 minizinc-ide_2.10.0-1.dsc 23-Aug-2026 08:59 1944 minizinc-ide_2.10.0-1_amd64.deb 23-Aug-2026 09:20 989180 minizinc-ide_2.10.0-1_arm64.deb 23-Aug-2026 09:14 858320 minizinc-ide_2.10.0-1_armhf.deb 23-Aug-2026 09:19 860140 minizinc-ide_2.10.0-1_i386.deb 23-Aug-2026 09:25 1025724 minizinc-ide_2.10.0.orig.tar.gz 23-Aug-2026 08:59 835691