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

../
minizinc_2.5.3+dfsg1-1_amd64.deb                   01-Oct-2023 20:16             1622340
minizinc_2.6.4+dfsg1-1_amd64.deb                   23-Jul-2022 02:28             2031904