lean 3.51.0 -> 3.51.1 https://repology.org/project/lean/versions
attrpath: lean
Checking auto update branch...
No auto update branch exists
[version] 
Hashes equal; no update necessary