bug#41258: closed ([PATCH] gnu: python-language-server: Update to 0.32.0.)

[GNU bug Tracking System]

Your message dated Thu, 14 May 2020 15:34:22 +0200
with message-id <address@hidden>
and subject line [PATCH] gnu: python-language-server: Update to 0.32.0.
has caused the debbugs.gnu.org bug report #41258,
regarding [PATCH] gnu: python-language-server: Update to 0.32.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
41258: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41258
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> 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@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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: python-language-server: Update to 0.32.0.
>
>
>
>
> Date: 
>
> Thu, 14 May 2020 15:34:22 +0200
>
>
>
>
> User-agent: 
>
> mu4e 1.4.4; emacs 26.3
>
>
>
>
> Pushed to the master branch with commit
> 85eed078ff7b8a7a9f648f7cd72dfac8851609bc.
>
> Thank you!
>
> -- 
> Ricardo
>
>
> --- End Message ---