../ org.www.minizinc.minizinc-ide_2.1.7-2.debian.ta..> 15-Dec-2025 13:41 7328 org.www.minizinc.minizinc-ide_2.1.7-2.dsc 15-Dec-2025 13:41 1759 org.www.minizinc.minizinc-ide_2.1.7-2_arm64.deb 15-Dec-2025 13:42 246936 org.www.minizinc.minizinc-ide_2.1.7.orig.tar.xz 15-Dec-2025 13:41 188