Zulip Chat Archive

Stream: general

Topic: leanpkg upgrade


view this post on Zulip Patrick Massot (Sep 13 2018 at 19:04):

It seems leanpkg upgrade doesn't want to upgrade mathlib past 120635628368ec261e031cefc6d30e0304088b03 Is someone else seeing this?

view this post on Zulip Kevin Buzzard (Sep 13 2018 at 19:04):

Is your Lean 3.4.1?

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:04):

yes

view this post on Zulip Kevin Buzzard (Sep 13 2018 at 19:04):

then I think it upgrades to mathlib branch 3.4.1

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:05):

no

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:05):

things would be much worse then

view this post on Zulip Reid Barton (Sep 13 2018 at 19:05):

maybe your upstream is leanprover-community, that one is still at the commit you mention

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:06):

Indeed

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:06):

That's silly

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:06):

Someone messed up

view this post on Zulip Patrick Massot (Sep 13 2018 at 19:07):

I took the opportunity to update community mathlib


Last updated: May 14 2021 at 12:18 UTC