lean3 3.51.0 -> 3.51.1 https://github.com/leanprover-community/lean/releases
attrpath: lean3
Checking auto update branch...
No auto update branch exists
[version] 
Hashes equal; no update necessary