Index of /debian/pool/main/m/minizinc-ide/

../
minizinc-ide_2.8.5-1.debian.tar.xz                 18-Oct-2026 15:29    9128
minizinc-ide_2.8.5-1.dsc                           18-Oct-2026 15:29    1810
minizinc-ide_2.8.5-1_amd64.deb                     18-Oct-2026 15:29    898K
minizinc-ide_2.8.5.orig.tar.gz                     18-Oct-2026 15:29    816K