Unable to update lean4 version

Stream: lean4

[Arjun Viswanathan]

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.

[Sebastian Ullrich]

Are you using elan?

[Arjun Viswanathan]

Yep:

$ elan default leanprover/lean4:nightly

[Sebastian Ullrich]

What does elan show in that directory print?

[Arjun Viswanathan]

$ 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)

[Sebastian Ullrich]

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

[Arjun Viswanathan]

Ah, that fixed it. Thanks!