From 41dab04e17fe13f42151ff1003c6dc725896b117 Mon Sep 17 00:00:00 2001 From: jgart Date: Wed, 1 Jan 2025 20:09:01 -0600 Subject: gnu: Add python-pylsp-mypy. * gnu/packages/python-xyz.scm (python-pylsp-mypy): New variable. Change-Id: I4cf398df820fdcc91229bdafdc2d0cab6f5c01c1 --- gnu/packages/python-xyz.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'gnu/packages/python-xyz.scm') diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 86ed1c9627..8641144a46 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -3321,6 +3321,25 @@ approximate nearest neighbor search with Python bindings.") Unicode-to-LaTeX conversion.") (license license:expat))) +(define-public python-pylsp-mypy + (package + (name "python-pylsp-mypy") + (version "0.6.9") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pylsp_mypy" version)) + (sha256 + (base32 "1amvqzb5lhhw2011003mwm88chb8sz5aax1jrqc3jg0jpak992fj")))) + (build-system pyproject-build-system) + (native-inputs (list python-pytest python-setuptools python-wheel)) + (propagated-inputs (list python-mypy python-lsp-server)) + (home-page "https://github.com/python-lsp/pylsp-mypy") + (synopsis "Mypy linter for the Python LSP Server") + (description + "Mypy linter integration for use with @code{python-lsp-server}.") + (license license:expat))) + (define-public python-pyls-black (package (name "python-pyls-black") -- cgit v1.2.3