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

../
minizinc-ide_2.6.3-1.debian.tar.xz                 08-May-2024 15:44               13224
minizinc-ide_2.6.3-1.dsc                           08-May-2024 15:44                1789
minizinc-ide_2.6.3.orig.tar.gz                     08-May-2024 15:44              827264