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

../
minizinc-ide_2.6.3-1.debian.tar.xz                 21-Dec-2022 18:58               13224
minizinc-ide_2.6.3-1.dsc                           21-Dec-2022 18:58                1789
minizinc-ide_2.6.3-1_amd64.deb                     21-Dec-2022 20:50              867132
minizinc-ide_2.6.3.orig.tar.gz                     21-Dec-2022 18:58              827264