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