2022-12-26T07:17:16 lean3 3.49.0 -> 3.50.2 https://github.com/leanprover-community/lean/releases
2022-12-26T07:17:18 attrpath: lean3
2022-12-26T07:17:19 Checking auto update branch...
2022-12-26T07:17:19 No auto update branch exists
2022-12-26T07:17:22 [version] 
2022-12-26T07:17:25 Hashes equal; no update necessary
2022-12-26T15:57:35 lean3 3.49.0 -> 3.50.2 https://github.com/leanprover-community/lean/releases
2022-12-26T15:57:37 attrpath: lean3
2022-12-26T15:57:37 Checking auto update branch...
2022-12-26T15:57:37 No auto update branch exists
2022-12-26T15:57:40 [version] 
2022-12-26T15:57:44 Hashes equal; no update necessary