Browse Source

gnu: python-jedi: Update to 0.13.2.

* gnu/packages/python-xyz.scm (python-jedi): Update to 0.13.2.
snapper
Maxim Cournoyer 3 years ago
parent
commit
40bd0aa37b
No known key found for this signature in database GPG Key ID: 1260E46482E63562
  1. 6
      gnu/packages/python-xyz.scm

6
gnu/packages/python-xyz.scm

@ -9672,17 +9672,17 @@ characters, mouse support, and auto suggestions.")
(define-public python-jedi
(package
(name "python-jedi")
(version "0.13.1")
(version "0.13.2")
(source
(origin
(method url-fetch)
(uri (pypi-uri "jedi" version))
(sha256
(base32
"0j11q42g5vjkyhhjpyy8nb0gdxs78m3rpjai7p1hvgpyl9rkyjdp"))))
"1za944msp0f8x36qa8l309jhv0kzlsdh7r9nj3z12y8npnsh45sp"))))
(build-system python-build-system)
(arguments
`( ;; Many tests are failing with Python 3.7.x as of version 0.13.1 (see:
`( ;; Many tests are failing with Python 3.7.x as of version 0.13.2 (see:
;; https://github.com/davidhalter/jedi/issues/1263)
#:tests? #f
#:phases

Loading…
Cancel
Save