elan 1.0.2
Small tool to manage your installations of the Lean theorem prover
Linux and macOS (Intel only)
last changed
Pin this version
$ devbox add elan@1.0.2
$ nix shell github:NixOS/nixpkgs/db6e089456cdddcd7e2c1d8dac37a505c797e8fa#elan
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-darwinmacOS · x86-64 |
elan |
db6e089456cd | |||
x86_64-linuxLinux · x86-64 |
elan |
db6e089456cd |
JSON: /v2/pkg?name=elan · /v2/resolve?name=elan&version=1.0.2