nixsearch
nixsearch / pkg / elan / 4.1.2

elan 4.1.2

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

Pin this version

$ devbox add elan@4.1.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit80d901ec0377e19ac3f7bb8c035201e2e098cc97 
$ nix shell github:NixOS/nixpkgs/80d901ec0377e19ac3f7bb8c035201e2e098cc97#elan

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 elan 80d901ec0377
out
/nix/store/w6qpx15y9f96d3n3hklqw2n1vdzqrid4-elan-4.1.2
aarch64-linux
Linux · arm64		 elan 80d901ec0377
out
/nix/store/lm5mq6i6f53hv6y04ibawzz4swfzc5sm-elan-4.1.2
x86_64-darwin
macOS · x86-64		 elan 80d901ec0377
out
/nix/store/j2crfc9dm623ss82waiaasnm6nvq6f1r-elan-4.1.2
x86_64-linux
Linux · x86-64		 elan 80d901ec0377
out
/nix/store/4689nkm43mbpi0ci54xcppkqwv47nds7-elan-4.1.2
← newer: 4.2.0 all 30 releases older: 4.1.1 →

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