Zulip Chat Archive

Stream: lean4

Topic: Unable to update lean4 version


view this post on Zulip Arjun Viswanathan (Apr 15 2021 at 15:19):

My leanpkg.toml file has version lean_version = "leanprover/lean4:nightly-2021-04-06" and leanpkg configure gives me warning:

WARNING: Lean version mismatch: installed version is nightly-2021-03-19, but package requires leanprover/lean4:nightly-2021-04-06

but doesn't change lean's version:

$ lean --version
Lean (version 4.0.0-nightly-2021-03-19, commit 1af02dcaca3c, Release)

I'm trying to update to the 04-06 version, any help would be appreciated.

view this post on Zulip Sebastian Ullrich (Apr 15 2021 at 15:20):

Are you using elan?

view this post on Zulip Arjun Viswanathan (Apr 15 2021 at 16:08):

Yep:

$ elan default leanprover/lean4:nightly

view this post on Zulip Sebastian Ullrich (Apr 15 2021 at 16:14):

What does elan show in that directory print?

view this post on Zulip Arjun Viswanathan (Apr 15 2021 at 16:17):

$ elan show
installed toolchains
--------------------

stable
leanprover-community-lean-3.18.4
leanprover-lean4-nightly (default)
leanprover-lean4-nightly-2021-03-14
leanprover-lean4-stable

active toolchain
----------------

leanprover-lean4-nightly (directory override for '/home/arjun/Desktop/signatures/lean4')
Lean (version 4.0.0-nightly-2021-03-19, commit 1af02dcaca3c, Release)

view this post on Zulip Sebastian Ullrich (Apr 15 2021 at 16:41):

Yes, that directory override takes precedence over the leanpkg.toml. You can remove it with elan override unset.

view this post on Zulip Arjun Viswanathan (Apr 15 2021 at 16:47):

Ah, that fixed it. Thanks!


Last updated: May 18 2021 at 21:11 UTC