Index of /uos/pool/main/m/minizinc/

../
minizinc_2.1.7+dfsg1-1.debian.tar.xz               27-Mar-2020 22:14    9436
minizinc_2.1.7+dfsg1-1.dsc                         27-Mar-2020 22:14    1807
minizinc_2.1.7+dfsg1-1_amd64.deb                   27-Mar-2020 22:14      2M
minizinc_2.1.7+dfsg1-1_arm64.deb                   27-Mar-2020 22:14      2M
minizinc_2.1.7+dfsg1-1_i386.deb                    27-Mar-2020 22:14      2M
minizinc_2.1.7+dfsg1-1_mips64el.deb                27-Mar-2020 22:14      1M
minizinc_2.1.7+dfsg1.orig.tar.xz                   27-Mar-2020 22:14    487K