Releases: leanprover/elan
Releases · leanprover/elan
v0.6.0
(cargo-release) v version 0.6.0
v0.5.0
(cargo-release) v version 0.5.0
v0.4.0
(cargo-release) v version 0.4.0
v0.3.4
(cargo-release) v version 0.3.4
v0.3.3
(cargo-release) v version 0.3.3
v0.3.2
fix(elan-dist): restore file permissions on OS X
