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

../
minizinc_2.5.3+dfsg1-1.debian.tar.xz               09-Dec-2020 18:17                9020
minizinc_2.5.3+dfsg1-1.dsc                         09-Dec-2020 18:17                1840
minizinc_2.5.3+dfsg1-1_amd64.deb                   10-Dec-2020 00:14             1622340
minizinc_2.5.3+dfsg1-1_i386.deb                    10-Dec-2020 00:14             1702956
minizinc_2.5.3+dfsg1.orig.tar.gz                   09-Dec-2020 18:17             1622012