Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/m/minizinc-ide/

../
minizinc-ide_2.8.2-1build2_arm64.deb               01-Apr-2024 21:02              871622