bitwuzla unstable-2022-10-03 -> 0.3.2 https://github.com/bitwuzla/bitwuzla/releases
attrpath: bitwuzla
Checking auto update branch...
No auto update branch exists
[version] 
Hashes equal; no update necessary