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

../
minizinc-ide_2.1.7-1.debian.tar.xz                 11-Apr-2020 06:06                8956
minizinc-ide_2.1.7-1.dsc                           11-Apr-2020 06:06                1769
minizinc-ide_2.1.7-1_amd64.deb                     11-Apr-2020 06:06              250072
minizinc-ide_2.1.7-1_i386.deb                      11-Apr-2020 06:06              266472
minizinc-ide_2.1.7.orig.tar.gz                     11-Apr-2020 06:06              215504