Merge remote-tracking branch 'origin/master' into core-updates

This commit is contained in:
Efraim Flashner 2020-02-04 14:16:23 +02:00
commit d54ed69c19
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351
14 changed files with 522 additions and 98 deletions

View file

@ -3079,14 +3079,14 @@ Server (PLS).")
(define-public python-language-server
(package
(name "python-language-server")
(version "0.31.6")
(version "0.31.7")
(source
(origin
(method url-fetch)
(uri (pypi-uri "python-language-server" version))
(sha256
(base32
"0cqrffd5272p2hifa35rf1h1g6dss741jmjkwa43jninifmbz0df"))))
"0f8rljff4h2ay9m2n9ang7axai37nzd39zd7m6c90rci5wh8cmxh"))))
(build-system python-build-system)
(propagated-inputs
`(("python-pluggy" ,python-pluggy)