3.6.1 mathlib?

Stream: maths

[Kevin Buzzard]

Does this
rss-bot said:

chore(*): release version 3.6.1
chore(*): release version 3.6.1
https://github.com/leanprover-community/lean/commit/97f11c47b944bf3a73065bdce0f752feb2efc1d5

mean that I should now update my Lean repos to 3.6.1 if I want to get the latest mathlib goodies?

[Rob Lewis]

If you're using mathlib you should only pay attention to what goes on in the mathlib repo. mathlib is still on 3.5.1. https://github.com/leanprover-community/mathlib/blob/master/leanpkg.toml