z3_4_11 4.11.0 -> 4.12.2 https://github.com/Z3Prover/z3/releases
attrpath: z3_4_11
Checking auto update branch...
No auto update branch exists
Version in attr path z3_4_11 not compatible with 4.12.2