Index of /debian13/archive/pool/main/m/minizinc-ide/

../
minizinc-ide_2.8.5-1.debian.tar.xz                 10-Aug-2026 02:26    9128
minizinc-ide_2.8.5-1.dsc                           10-Aug-2026 02:26    1810
minizinc-ide_2.8.5-1_amd64.deb                     09-Aug-2026 00:17    898K
minizinc-ide_2.8.5.orig.tar.gz                     10-Aug-2026 02:26    816K