nixsearch
nixsearch / pkg / elan / 3.1.1-unstable-2024-08-02

elan 3.1.1-unstable-2024-08-02

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

Pin this version

$ devbox add elan@3.1.1-unstable-2024-08-02
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit50165c4f7eb48ce82bd063e1fb8047a0f515f8ce 
$ nix shell github:NixOS/nixpkgs/50165c4f7eb48ce82bd063e1fb8047a0f515f8ce#elan

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 elan 50165c4f7eb4
out
/nix/store/mwlhaj4zax9zfpzi9xg9df3snp31y9d7-elan-3.1.1-unstable-2024-08-02
aarch64-linux
Linux · arm64		 elan 50165c4f7eb4
out
/nix/store/ra0ffz2pz8cjgrz0c04ydqrmwcxdz0xx-elan-3.1.1-unstable-2024-08-02
x86_64-darwin
macOS · x86-64		 elan 50165c4f7eb4
out
/nix/store/ajl1r23fks27fqfgijd0ymzpq620v97g-elan-3.1.1-unstable-2024-08-02
x86_64-linux
Linux · x86-64		 elan 50165c4f7eb4
out
/nix/store/6594qcjx8jh6jh2xgra1v6a9hg4736xz-elan-3.1.1-unstable-2024-08-02
← newer: 4.0.0 all 30 releases older: 3.1.1 →

JSON: /v2/pkg?name=elan · /v2/resolve?name=elan&version=3.1.1-unstable-2024-08-02