elan 2.0.0
Small tool to manage your installations of the Lean theorem prover
Linux and macOS
last changed
Pin this version
$ devbox add elan@2.0.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitdfcffbd74fd6f0419370d8240e445252a39f4d10
$ nix shell github:NixOS/nixpkgs/dfcffbd74fd6f0419370d8240e445252a39f4d10#elan
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
elan |
dfcffbd74fd6 | out/nix/store/hgrqk3dhxxhd8066iyfr5y7k9m2rh73m-elan-2.0.0 |
||
aarch64-linuxLinux · arm64 |
elan |
dfcffbd74fd6 | out/nix/store/33115fmpq85lmky6j83dgpsq3gbrqv45-elan-2.0.0 |
||
x86_64-darwinmacOS · x86-64 |
elan |
dfcffbd74fd6 | out/nix/store/kr4lx9mfz0v372w2lkhpihlqg3mbpk3i-elan-2.0.0 |
||
x86_64-linuxLinux · x86-64 |
elan |
dfcffbd74fd6 | out/nix/store/x6ys1i8yrwclcvyqrrygmrh8wsg7xrgg-elan-2.0.0 |
JSON: /v2/pkg?name=elan · /v2/resolve?name=elan&version=2.0.0