GNU bug report logs - #41258
[PATCH] gnu: python-language-server: Update to 0.32.0.

Previous Next

Package: guix-patches;

Reported by: Giacomo Leidi <goodoldpaul <at> autistici.org>

Date: Thu, 14 May 2020 12:44:02 UTC

Severity: normal

Tags: patch

Done: Ricardo Wurmus <rekado <at> elephly.net>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Giacomo Leidi <goodoldpaul <at> autistici.org>
Subject: bug#41258: closed ([PATCH] gnu: python-language-server: Update to
 0.32.0.)
Date: Thu, 14 May 2020 13:35:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#41258: [PATCH] gnu: python-language-server: Update to 0.32.0.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 41258 <at> debbugs.gnu.org.

-- 
41258: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41258
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ricardo Wurmus <rekado <at> elephly.net>
To: 41258-done <at> debbugs.gnu.org
Subject: [PATCH] gnu: python-language-server: Update to 0.32.0.
Date: Thu, 14 May 2020 15:34:22 +0200
Pushed to the master branch with commit
85eed078ff7b8a7a9f648f7cd72dfac8851609bc.

Thank you!

-- 
Ricardo

[Message part 3 (message/rfc822, inline)]
From: Giacomo Leidi <goodoldpaul <at> autistici.org>
To: guix-patches <at> gnu.org
Cc: Giacomo Leidi <goodoldpaul <at> autistici.org>
Subject: [PATCH] gnu: python-language-server: Update to 0.32.0.
Date: Thu, 14 May 2020 14:43:11 +0200
* 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.
---
 gnu/packages/python-xyz.scm | 33 +++------------------------------
 1 file 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 <at> 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")
-- 
2.26.2




This bug report was last modified 5 years and 69 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.