elan 4.2.0
Small tool to manage your installations of the Lean theorem prover
Linux and macOS
last changed
Pin this version
$ devbox add elan@4.2.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915
$ nix shell github:NixOS/nixpkgs/26eaeac4e409d7b5a6bf6f90a2a2dc223c78d915#elan
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
elan |
26eaeac4e409 | out/nix/store/iiqf8ra9z4va8zfxa38af31rphmppfk8-elan-4.2.0 |
||
aarch64-linuxLinux · arm64 |
elan |
26eaeac4e409 | out/nix/store/wq7za70vyqby5y15mdr2fh5w3l2ndq6p-elan-4.2.0 |
||
x86_64-darwinmacOS · x86-64 |
elan |
26eaeac4e409 | out/nix/store/9kv4sxm41ka4hxjbny6d4zwj57nnsjar-elan-4.2.0 |
||
x86_64-linuxLinux · x86-64 |
elan |
26eaeac4e409 | out/nix/store/85f50k58wf74c08walfrycrpkyy2hsiv-elan-4.2.0 |
JSON: /v2/pkg?name=elan · /v2/resolve?name=elan&version=4.2.0