Index of /pool/main/m/minizinc/

../
minizinc_2.10.0+dfsg1-1_amd64.deb                  06-Sep-2026 18:06             2659644
minizinc_2.9.2+dfsg1-1_amd64.deb                   29-Jul-2026 16:00             2477764