nixsearch
nixsearch / pkg / elan / 1.0.6

elan 1.0.6

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

Pin this version

$ devbox add elan@1.0.6
systemsaarch64-darwin commit70dc433f2eb84cc7ed848a30feaa5aab5890d23c 
$ nix shell github:NixOS/nixpkgs/70dc433f2eb84cc7ed848a30feaa5aab5890d23c#elan
systemsx86_64-darwin, x86_64-linux commit404cd360c2607bcfe8d05a7d5ae609d6605f7e22 
$ nix shell github:NixOS/nixpkgs/404cd360c2607bcfe8d05a7d5ae609d6605f7e22#elan

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 elan 70dc433f2eb8
x86_64-darwin
macOS · x86-64		 elan 404cd360c260
x86_64-linux
Linux · x86-64		 elan 404cd360c260
← newer: 1.0.7 all 30 releases older: 1.0.2 →

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