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

../
minizinc-ide_2.1.7-1.debian.tar.xz                 08-Apr-2019 10:08                8956
minizinc-ide_2.1.7-1.dsc                           08-Apr-2019 10:08                1769
minizinc-ide_2.1.7-1_amd64.deb                     08-Apr-2019 09:54              250072
minizinc-ide_2.1.7-1_arm64.deb                     05-Nov-2020 15:58              238828
minizinc-ide_2.1.7-1_i386.deb                      05-Nov-2020 16:04              266472
minizinc-ide_2.1.7.orig.tar.gz                     08-Apr-2019 10:08              215504
minizinc-ide_2.6.3-1.debian.tar.xz                 16-Feb-2023 22:35               13224
minizinc-ide_2.6.3-1.dsc                           16-Feb-2023 22:35                1789
minizinc-ide_2.6.3-1_amd64.deb                     16-Feb-2023 22:30              867132
minizinc-ide_2.6.3-1_arm64.deb                     16-Feb-2023 22:39              803584
minizinc-ide_2.6.3-1_i386.deb                      16-Feb-2023 22:21              918176
minizinc-ide_2.6.3.orig.tar.gz                     16-Feb-2023 22:35              827264