2022-12-18T04:56:43 lean3 3.49.0 -> 3.50.0 https://github.com/leanprover-community/lean/releases
2022-12-18T04:56:45 attrpath: lean3
2022-12-18T04:56:45 Checking auto update branch...
2022-12-18T04:56:45 No auto update branch exists
2022-12-18T04:56:49 [version] 
2022-12-18T04:56:51 Hashes equal; no update necessary
2022-12-18T22:44:55 lean3 3.49.0 -> 3.50.0 https://github.com/leanprover-community/lean/releases
2022-12-18T22:44:58 attrpath: lean3
2022-12-18T22:44:58 Checking auto update branch...
2022-12-18T22:44:58 No auto update branch exists
2022-12-18T22:45:01 [version] 
2022-12-18T22:45:04 Hashes equal; no update necessary