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

../
minizinc-ide_2.6.3-1.debian.tar.xz                 20-Apr-2023 17:02               13224
minizinc-ide_2.6.3-1.dsc                           20-Apr-2023 17:02                1789
minizinc-ide_2.6.3-1_amd64.deb                     20-Apr-2023 17:02              867132
minizinc-ide_2.6.3-1_i386.deb                      20-Apr-2023 17:02              918176
minizinc-ide_2.6.3.orig.tar.gz                     20-Apr-2023 17:02              827264