z3_4_12 4.12.5 -> 4.13.0 https://repology.org/project/z3/versions
attrpath: z3_4_12
Checking auto update branch...
No auto update branch exists
Version in attr path z3_4_12 not compatible with 4.13.0