Index of /18092020/pool/main/m/minizinc/

../
minizinc_2.4.3-3_amd64.deb                         29-Oct-2020 14:43             1492740
minizinc_2.4.3-3_arm64.deb                         29-Oct-2020 14:43             1274140