../ minizinc-ide_2.8.5-1.debian.tar.xz 12-Jun-2026 02:05 9128 minizinc-ide_2.8.5-1.dsc 12-Jun-2026 02:05 1810 minizinc-ide_2.8.5-1_amd64.deb 12-Jun-2026 02:05 919748 minizinc-ide_2.8.5.orig.tar.gz 12-Jun-2026 02:05 835165