Index of /mirror/debian/pool/main/m/minizinc-ide/

../
minizinc-ide_2.6.3-1_arm64.deb                     29-May-2022 09:56              803584
minizinc-ide_2.6.3-1_armhf.deb                     29-May-2022 10:11              781360