Skip to content

Releases: leanprover/elan

eager-resolution-v6

26 Nov 09:33
@Kha Kha
5869e01
Compare
Choose a tag to compare
eager-resolution-v6 Pre-release
Pre-release
  • fix: toolchain overrides were not being resolved

eager-resolution-v5

26 Nov 08:53
@Kha Kha
6eb7c25
Compare
Choose a tag to compare
eager-resolution-v5 Pre-release
Pre-release
  • fix: do not resolve toolchains from files with --no-net

eager-resolution-v4

25 Nov 08:51
@Kha Kha
99413ca
Compare
Choose a tag to compare
eager-resolution-v4 Pre-release
Pre-release
  • fix: per-toolchain installation lock
  • chore: more unresolved dump-state output, do not resolve during override lookup

eager-resolution-v3

08 Oct 14:02
@Kha Kha
Compare
Choose a tag to compare
eager-resolution-v3 Pre-release
Pre-release
fix: toolchain normalization in `gc`

eager-resolution-v2

18 Jun 07:23
0531a0e
Compare
Choose a tag to compare
eager-resolution-v2 Pre-release
Pre-release
feat: experimental GC (#130)

eager-resolution

13 Jun 16:28
932df85
Compare
Choose a tag to compare
eager-resolution Pre-release
Pre-release
chore: now do prerelease

v3.1.1

22 Feb 22:04
Compare
Choose a tag to compare
chore: Release elan version 3.1.1

v3.1.0

19 Feb 09:04
Compare
Choose a tag to compare
chore: Release elan version 3.1.0

v3.0.0

08 Sep 08:29
Compare
Choose a tag to compare
chore: Release elan version 3.0.0

v2.0.1

24 Jul 07:29
Compare
Choose a tag to compare
chore: Release elan version 2.0.1