Index of /pool/universe/m/minizinc-ide/

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