nixsearch / pkg / python313Packages.leanclient / 0.10.0
python313Packages.leanclient 0.10.0
Python client for the Lean theorem prover LSP
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python313Packages.leanclient@0.10.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#python313Packages.leanclient
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.leanclient |
4a29d733e8a7 | out/nix/store/kjl2h1mff7z1dcm0f4pl6ams8z0g8vf9-python3.13-leanclient-0.10.0 dist (not default)/nix/store/2m5azpljswqlyvw9zjqxnavcxffdcrd8-python3.13-leanclient-0.10.0-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.leanclient |
4a29d733e8a7 | out/nix/store/yb4mk4xmglhsq4g3zhx904g1y0779bw6-python3.13-leanclient-0.10.0 dist (not default)/nix/store/2r9kji4m7273psfxj9js3c3gj23nmpac-python3.13-leanclient-0.10.0-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.leanclient |
4a29d733e8a7 | out/nix/store/n5anv6g86harsvndgq32430kc3n4k03c-python3.13-leanclient-0.10.0 dist (not default)/nix/store/hac8xxvyzmjxcyyr7v4i8jpa9j9am7w7-python3.13-leanclient-0.10.0-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.leanclient |
4a29d733e8a7 | out/nix/store/yazh875rvh88i49p247nfx56s6shz3pc-python3.13-leanclient-0.10.0 dist (not default)/nix/store/kzspbayypxn8g6s601wc65mdkdk33p16-python3.13-leanclient-0.10.0-dist |
JSON: /v2/pkg?name=python313Packages.leanclient · /v2/resolve?name=python313Packages.leanclient&version=0.10.0