Index of /kylinsoft/anything/openkylin/pool/main/m/minizinc/

../
minizinc_2.4.2-ok1.debian.tar.xz                   27-Jul-2022 09:16                8152
minizinc_2.4.2-ok1.dsc                             27-Jul-2022 09:16                1655
minizinc_2.4.2-ok1_amd64.deb                       28-Jul-2022 02:26             1463476
minizinc_2.4.2-ok1_riscv64.deb                     07-Sep-2022 19:10             1672852
minizinc_2.4.2.orig.tar.gz                         27-Jul-2022 09:16             1535346