Something went wrong. Try again.
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647{ lib, buildPythonPackage, fetchFromGitHub,
# build-system hatchling,
# dependencies orjson, psutil, tqdm,}:
buildPythonPackage (finalAttrs: { pname = "leanclient"; version = "0.12.0"; pyproject = true;
src = fetchFromGitHub { owner = "oOo0oOo"; repo = "leanclient"; tag = "v${finalAttrs.version}"; hash = "sha256-h90AMErcwdmHfIBgFerFEaUwjfRkJMl1iesXjtEpdlA="; };
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 ]; };})