Index of /deb.debian.org/debian/pool/main/m/minizinc/

../
minizinc_2.6.4+dfsg1-1_amd64.deb                   23-Jul-2022 00:28             2031904
minizinc_2.6.4+dfsg1-1_arm64.deb                   23-Jul-2022 00:28             1733724