aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGiacomo Leidi <goodoldpaul@autistici.org>2020-05-14 14:43:11 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-05-14 15:31:23 +0200
commit85eed078ff7b8a7a9f648f7cd72dfac8851609bc (patch)
tree449dda9767b4713ca64721ea693983171a957a1f
parentf3e8e28152883efb1a9b9b6af13816398648a6b4 (diff)
downloadpatches-85eed078ff7b8a7a9f648f7cd72dfac8851609bc.tar
patches-85eed078ff7b8a7a9f648f7cd72dfac8851609bc.tar.gz
gnu: python-language-server: Update to 0.32.0.base-for-series-3956
* 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>
-rw-r--r--gnu/packages/python-xyz.scm33
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")