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