Index of /ubuntu-ports/pool/universe/m/minizinc/

---

../
minizinc_2.4.2-1build1_arm64.deb                   24-Mar-2020 19:15      1M

---