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

../
minizinc_2.6.4+dfsg1-1_arm64.deb                   22-Jul-2022 17:28             1733724
minizinc_2.6.4+dfsg1-1_armel.deb                   22-Jul-2022 20:56             1644824
minizinc_2.6.4+dfsg1-1_armhf.deb                   22-Jul-2022 18:29             1718664