nixos-unstable · x86_64-linux · 151fa4e8ddfd · generated 2026-10-07T01:01:54Z

python314Packages.leanclient 0.12.0 single

Python client for the Lean theorem prover LSP

Name
python3.14-leanclient-0.12.0
Package set
python314Packages
Homepage
https://github.com/oOo0oOo/leanclient
License
MIT
Source
pkgs/development/python-modules/leanclient/default.nix:41
Derivation
/nix/store/3pmr938z90p7ivm6c6gllcvhafd6i2k0-python3.14-leanclient-0.12.0.drv

Maintainers 1

HandleNameContactVia
remix7531 remix7531 GitHub · remix7531@mailbox.org listed on package

Dependencies 19

PackageAsMaintainersUsed by (transitive)Status
python3 3.14.7 propagatedBuildInputs
mweinelt
 72,537 team-only
python314Packages.orjson 3.11.9 propagatedBuildInputs
misuzu
 3,497 single
python314Packages.psutil 7.2.2 propagatedBuildInputs
43,380 unmaintained
python314Packages.tqdm 4.68.4 propagatedBuildInputs
MiniHarinn
 1,068 single
ensureNewerSourcesForZipFilesHook 26.05pre-git nativeBuildInputs
74,596 unmaintained setup hook
python313Packages.pythonOutputDistHook 26.05pre-git nativeBuildInputs
74,564 unmaintained setup hook
python313Packages.pythonRemoveBinBytecodeHook 26.05pre-git nativeBuildInputs
74,584 unmaintained setup hook
python314Packages.hatchling 1.31.0 nativeBuildInputs
mweinelt, ofek
 70,196 maintained
python314Packages.pypaBuildHook 26.05pre-git nativeBuildInputs
71,473 unmaintained setup hook
python314Packages.pypaInstallHook 26.05pre-git nativeBuildInputs
71,694 unmaintained setup hook
python314Packages.pythonCatchConflictsHook 26.05pre-git nativeBuildInputs
71,690 unmaintained setup hook
python314Packages.pythonImportsCheckHook 26.05pre-git nativeBuildInputs
71,715 unmaintained setup hook
python314Packages.pythonMetadataCheckHook 26.05pre-git nativeBuildInputs
dotlambda
 71,460 single setup hook
python314Packages.pythonNamespacesHook 26.05pre-git nativeBuildInputs
71,713 unmaintained setup hook
python314Packages.pythonRemoveTestsDirHook 26.05pre-git nativeBuildInputs
71,713 unmaintained setup hook
python314Packages.pythonRuntimeDepsCheckHook 26.05pre-git nativeBuildInputs
71,662 unmaintained setup hook
python314Packages.wrapPython 26.05pre-git nativeBuildInputs
71,719 unmaintained setup hook
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,441 maintained
stdenv 26.05pre-git other input
90,330 team-only

Used by 1 directly, 1 transitively

PackageAsMaintainersUsed by (transitive)Status
lean-lsp-mcp 0.28.1 propagatedBuildInputs
remix7531
 0 single