nixsearch / pkg / python313Packages.leanclient / 0.9.4
python313Packages.leanclient 0.9.4
Python client for the Lean theorem prover LSP
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python313Packages.leanclient@0.9.4
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit01fbdeef22b76df85ea168fbfe1bfd9e63681b30
$ nix shell github:NixOS/nixpkgs/01fbdeef22b76df85ea168fbfe1bfd9e63681b30#python313Packages.leanclient
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.leanclient |
01fbdeef22b7 | out/nix/store/9l68rvw7a3h2zsaddbgqs7kmf4mkq14s-python3.13-leanclient-0.9.4 dist (not default)/nix/store/lq96wkz78b6kz246sv5k4nxayam85786-python3.13-leanclient-0.9.4-dist |
||
aarch64-linuxLinux · arm64 |
python313Packages.leanclient |
01fbdeef22b7 | out/nix/store/gdap8i7lg904g6hjdyc07lmh9x0b7x2l-python3.13-leanclient-0.9.4 dist (not default)/nix/store/m1pmil4h84rv7syrrg5s7534i6rplci4-python3.13-leanclient-0.9.4-dist |
||
x86_64-darwinmacOS · x86-64 |
python313Packages.leanclient |
01fbdeef22b7 | out/nix/store/akasw4s8v056nlvjj89saf26k911p3gr-python3.13-leanclient-0.9.4 dist (not default)/nix/store/w3qxl1j7sry7jb4lx5jq7m3wa6axaa3s-python3.13-leanclient-0.9.4-dist |
||
x86_64-linuxLinux · x86-64 |
python313Packages.leanclient |
01fbdeef22b7 | out/nix/store/ham56q3ip3kji34fayw0sa5mr6mdbr05-python3.13-leanclient-0.9.4 dist (not default)/nix/store/z7jbj6aa1ydbylnkldhkw63i5nalnz3n-python3.13-leanclient-0.9.4-dist |
JSON: /v2/pkg?name=python313Packages.leanclient · /v2/resolve?name=python313Packages.leanclient&version=0.9.4