nixsearch
nixsearch / pkg / elan / 3.0.0

elan 3.0.0

Small tool to manage your installations of the Lean theorem prover
Linux and macOS last changed

Pin this version

$ devbox add elan@3.0.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit10b813040df67c4039086db0f6eaf65c536886c6 
$ nix shell github:NixOS/nixpkgs/10b813040df67c4039086db0f6eaf65c536886c6#elan

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 elan 10b813040df6
out
/nix/store/sf2mm4jgwn7p3zif4amak6a4n6ksy9mq-elan-3.0.0
aarch64-linux
Linux · arm64		 elan 10b813040df6
out
/nix/store/xfzi1mj1d7iqakpvy6dm5hiryxjm7xf8-elan-3.0.0
x86_64-darwin
macOS · x86-64		 elan 10b813040df6
out
/nix/store/a5rq9ianwpgmfz7rvnlixkijarfprbgi-elan-3.0.0
x86_64-linux
Linux · x86-64		 elan 10b813040df6
out
/nix/store/pazslhfqsfaki8ags94jw3hwsvjj9cgl-elan-3.0.0
← newer: 3.1.0 all 30 releases older: 2.0.1 →

JSON: /v2/pkg?name=elan · /v2/resolve?name=elan&version=3.0.0