../ minizinc-ide_2.8.2-1build2.debian.tar.xz 04-Mar-2026 10:04 13K minizinc-ide_2.8.2-1build2.dsc 04-Mar-2026 10:04 1892 minizinc-ide_2.8.2-1build2_amd64.deb 04-Mar-2026 10:04 889K minizinc-ide_2.8.2.orig.tar.gz 04-Mar-2026 10:04 816K