python3Packages.leanclient: init at 0.9.4

{

  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 ];

  };

})

  leanblueprint = callPackage ../development/python-modules/leanblueprint { };

  leanclient = callPackage ../development/python-modules/leanclient { };

  leaone-ble = callPackage ../development/python-modules/leaone-ble { };

  leather = callPackage ../development/python-modules/leather { };