Releases: leanprover/elan
Releases · leanprover/elan
eager-resolution-v6
- fix: toolchain overrides were not being resolved
eager-resolution-v5
- fix: do not resolve toolchains from files with --no-net
eager-resolution-v4
- fix: per-toolchain installation lock
- chore: more unresolved dump-state output, do not resolve during override lookup
eager-resolution-v3
fix: toolchain normalization in `gc`
eager-resolution-v2
feat: experimental GC (#130)
eager-resolution
chore: now do prerelease
v3.1.1
v3.1.0
chore: Release elan version 3.1.0
v3.0.0
chore: Release elan version 3.0.0
v2.0.1
chore: Release elan version 2.0.1