z3_4_11 4.11.0 -> 4.12.2 https://repology.org/project/z3/versions
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