this repo has no description

Fix

Changed files
+2 -1
packages
z3
z3.4.13.3
+2 -1
packages/z3/z3.4.13.3/opam
···
]
build: [
[ make "-C" "build" "-j" jobs ]
+
[ "python3" "scripts/mk_make.py" "--ml" ]
]
install: [
···
"conf-c++" {build}
]
x-ci-accept-failures: [
-
"centos-7" "oraclelinux-7" # C compiler is too old
+
"centos-7" "oraclelinux-7" "opensuse-15.6" # C compiler is too old
]
conflicts: [
"ocaml-option-bytecode-only"