2022-11-17T05:54:20 z3_4_7 4.7.1 -> 4.11.2 https://github.com/Z3Prover/z3/releases
2022-11-17T05:54:23 attrpath: z3_4_7
2022-11-17T05:54:23 Checking auto update branch...
2022-11-17T05:54:23 No auto update branch exists
2022-11-17T05:54:23 Version in attr path z3_4_7 not compatible with 4.11.2