Index of /revyos/revyos-base/pool/main/m/minizinc/

../
minizinc-dbgsym_2.6.4+dfsg1-1+b1_riscv64.deb       10-Apr-2023 11:34     41M
minizinc_2.6.4+dfsg1-1+b1_riscv64.deb              10-Apr-2023 11:29      2M