Index of /seedlin/pool/main/m/minizinc/

../
minizinc_2.9.2+dfsg1-1.debian.tar.xz               12-Jun-2026 02:05               11784
minizinc_2.9.2+dfsg1-1.dsc                         12-Jun-2026 02:05                1958
minizinc_2.9.2+dfsg1-1_amd64.deb                   12-Jun-2026 02:05             2477764
minizinc_2.9.2+dfsg1-1_riscv64.deb                 12-Jun-2026 02:05             2570236
minizinc_2.9.2+dfsg1.orig.tar.xz                   12-Jun-2026 02:05             1000624