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

../
minizinc-ide_2.8.5-1.debian.tar.xz                 15-Nov-2024 04:37                9128
minizinc-ide_2.8.5-1.dsc                           15-Nov-2024 04:37                1810
minizinc-ide_2.8.5.orig.tar.gz                     15-Nov-2024 04:37              835165