nixsearch
nixsearch / pkg / lean4 / 4.17.0

lean4 4.17.0

Automatic and interactive theorem prover
Linux and macOS last changed

Pin this version

$ devbox add lean4@4.17.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#lean4
systemsx86_64-darwin commitdd613136ee91f67e5dba3f3f41ac99ae89c5406b 
$ nix shell github:NixOS/nixpkgs/dd613136ee91f67e5dba3f3f41ac99ae89c5406b#lean4

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lean4 0d534853a55b
out
/nix/store/wm1rk7bfdvzh86yxz6c3jwip2c19iz2p-lean4-4.17.0
aarch64-linux
Linux · arm64		 lean4 0d534853a55b
out
/nix/store/s1k2q7lwh35lgvdksk1f0qqvs41jb7k2-lean4-4.17.0
x86_64-darwin
macOS · x86-64		 lean4 dd613136ee91
out
/nix/store/6yjkknd5drg19vwx7qgl90zmvbps9y8a-lean4-4.17.0
x86_64-linux
Linux · x86-64		 lean4 0d534853a55b
out
/nix/store/c3pzdwxpij0pn48ka4fvr7cz2cy518s8-lean4-4.17.0
← newer: 4.18.0 all 31 releases older: 4.16.0 →

JSON: /v2/pkg?name=lean4 · /v2/resolve?name=lean4&version=4.17.0