Something went wrong. Try again.
lol
Something went wrong. Try again.
833 B · 46 lines
Nix
at master
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647{ lib, buildPythonPackage, fetchFromGitHub,
# build-system hatchling,
# dependencies orjson, psutil, tqdm,}:
buildPythonPackage (finalAttrs: { pname = "leanclient"; version = "0.9.4"; pyproject = true;
src = fetchFromGitHub { owner = "oOo0oOo"; repo = "leanclient"; tag = "v${finalAttrs.version}"; hash = "sha256-BmIvjFhhlXnyDZWNUZAq41TA+Q5v9UW63rljoeYl44Q="; };
build-system = [ hatchling ];
dependencies = [ orjson psutil tqdm ];
# Tests require a real Lean toolchain doCheck = false;
pythonImportsCheck = [ "leanclient" ];
meta = { description = "Python client for the Lean theorem prover LSP"; homepage = "https://github.com/oOo0oOo/leanclient"; license = lib.licenses.mit; maintainers = with lib.maintainers; [ remix7531 ]; };})