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

../
minizinc-ide_2.5.3-1.debian.tar.xz                 09-Dec-2020 18:17               13040
minizinc-ide_2.5.3-1.dsc                           09-Dec-2020 18:17                1766
minizinc-ide_2.5.3-1_amd64.deb                     10-Dec-2020 00:14              773044
minizinc-ide_2.5.3-1_i386.deb                      10-Dec-2020 00:13              816052
minizinc-ide_2.5.3.orig.tar.gz                     09-Dec-2020 18:17              798423