Releases: leanprover/elan
Releases · leanprover/elan
eager-resolution-v9
feat: do not warn about outdated toolchains with `--no-net`
eager-resolution-v8
chore: fix version
eager-resolution-v7
feat: elan toolchain gc --json
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