diff options
author | Giacomo Leidi <goodoldpaul@autistici.org> | 2020-05-14 14:43:11 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-14 15:31:23 +0200 |
commit | 85eed078ff7b8a7a9f648f7cd72dfac8851609bc (patch) | |
tree | 449dda9767b4713ca64721ea693983171a957a1f /gnu/packages | |
parent | f3e8e28152883efb1a9b9b6af13816398648a6b4 (diff) |
gnu: python-language-server: Update to 0.32.0.
* gnu/packages/python-xyz.scm (python-language-server): Update to 0.32.0,
[propagated-inputs]: Remove PYTHON-JEDI-0.15. Add PYTHON-JEDI.
(python-jedi-0.15, python-parso-0.5): Remove variables.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/python-xyz.scm | 33 |
1 files changed, 3 insertions, 30 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 77b9179cf2..0d24d5276e 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -3767,21 +3767,21 @@ Server (PLS).") (define-public python-language-server (package (name "python-language-server") - (version "0.31.7") + (version "0.32.0") (source (origin (method url-fetch) (uri (pypi-uri "python-language-server" version)) (sha256 (base32 - "0f8rljff4h2ay9m2n9ang7axai37nzd39zd7m6c90rci5wh8cmxh")))) + "0j5swacmjps9sas1gfwg0xi84rmjhfhz20cwg3k4058d20rs20ip")))) (build-system python-build-system) (propagated-inputs `(("python-pluggy" ,python-pluggy) ("python-jsonrpc-server" ,python-jsonrpc-server) ;; Note: Remove the special versions of Jedi and Parso when updating ;; this package. - ("python-jedi" ,python-jedi-0.15) + ("python-jedi" ,python-jedi) ("python-yapf" ,python-yapf) ("python-pyflakes" ,python-pyflakes) ("python-pydocstyle" ,python-pydocstyle) @@ -12149,20 +12149,6 @@ well.") (define-public python2-jedi (package-with-python2 python-jedi)) -;; python-language-server requires 0.15 specifically. Remove once unused. -(define-public python-jedi-0.15 - (package - (inherit python-jedi) - (version "0.15.2") - (source (origin - (method url-fetch) - (uri (pypi-uri "jedi" version)) - (sha256 - (base32 - "01zqasl690x1i6dq4mvh13pz0cw8i276xsivsrnn00x90iqm42g9")))) - (propagated-inputs - `(("python-parso" ,python-parso-0.5))))) - (define-public ptpython (package (name "ptpython") @@ -16512,19 +16498,6 @@ Parso is also able to list multiple syntax errors in your Python file.") (define-public python2-parso (package-with-python2 python-parso)) -;; This version is required for Jedi@0.15, which in turn is needed for -;; python-language-server. -(define-public python-parso-0.5 - (package - (inherit python-parso) - (version "0.5.2") - (source (origin - (method url-fetch) - (uri (pypi-uri "parso" version)) - (sha256 - (base32 - "1qgvrkpma7vylrk047mxxvqd66nwqk978n3ig2w8iz9m3bgjbksm")))))) - (define-public python-async-generator (package (name "python-async-generator") |