search

leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

Elan does not update to current version of Lean #124

Closed dlebedinsky closed 5 months ago

dlebedinsky commented 5 months ago

When I ran elan self update, it did not return any errors. When I ran elan default leanprover/lean4:stable, it returned the following:

info: using existing install for 'leanprover/lean4:stable' info: default toolchain set to 'leanprover/lean4:stable'

leanprover/lean4:stable unchanged - Lean (version 4.1.0, commit a832f398b80a, Release)

When I ran lake --version to confirm, I got the following: Lake version 5.0.0-a832f39 (Lean version 4.1.0)

As of now, the current stable version of Lean is 4.6.1. How do I upgrade to the latest version of Lean and ensure I am using that?

I am using Fedora Linux Workstation 39.

dlebedinsky commented 5 months ago

Sorry, I realized that I was supposed to run elan update. I suggest you mention in the README that running elan self update && elan update updates both this tool and the language itself.