search

leanprover / elan

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

Able to install the same toolchain twice #126

Closed drhodes closed 4 months ago

drhodes commented 4 months ago

This is kind of weird, we can install two of the same toolchain:

$ elan toolchain install v4.7.0
$ elan toolchain install 4.7.0

elan will list them as two distinct installs

$ elan toolchain list
v4.7.0
4.7.0
Kha commented 4 months ago

Fixed in #106

drhodes commented 4 months ago

That was fast, thank you. Sorry, I guess I didn't check if this was a dupe.