mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-05-28 03:51:53 +02:00
gnu: python-crosshair: Update to 0.0.86.
* gnu/packages/check.scm (python-crosshair): Update to 0.0.86.
[source] <pypi-uri>: Adjust name as PyPI archive has been changed.
[phases]{relax-requirements}: Remove relaxation for typing-inspect.
Change-Id: Ida2887ad8dc140e174532dccc69542af26f0cffb
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
This commit is contained in:
committed by
Sharlatan Hellseher
parent
39c9f47600
commit
7bc7351860
@@ -2805,13 +2805,13 @@ instantly.")
|
|||||||
(define-public python-crosshair
|
(define-public python-crosshair
|
||||||
(package
|
(package
|
||||||
(name "python-crosshair")
|
(name "python-crosshair")
|
||||||
(version "0.0.84")
|
(version "0.0.86")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (pypi-uri "crosshair-tool" version))
|
(uri (pypi-uri "crosshair_tool" version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "1j6icn5f206yld9871p7a3v45jg8d8v4bhxh09lq3kzi09gr7maz"))))
|
(base32 "19zrv6gsap0qwn4rrs1wwajg0gkq7ys8qijsilmjrhc73dylgl72"))))
|
||||||
(build-system pyproject-build-system)
|
(build-system pyproject-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
(list
|
(list
|
||||||
@@ -2828,9 +2828,6 @@ instantly.")
|
|||||||
(substitute* "setup.py"
|
(substitute* "setup.py"
|
||||||
;; pygls is only used by crosshair/lsp_server.py.
|
;; pygls is only used by crosshair/lsp_server.py.
|
||||||
(("pygls>=1.0.0") "")
|
(("pygls>=1.0.0") "")
|
||||||
;; Tests still pass with typing-inspect==0.6.0
|
|
||||||
;; packaged by Guix.
|
|
||||||
(("typing-inspect>=0.7.1") "typing-inspect>=0.6.0")
|
|
||||||
;; 'sanity-check fails for z3-solver, although it is
|
;; 'sanity-check fails for z3-solver, although it is
|
||||||
;; included in 'propagated-inputs.
|
;; included in 'propagated-inputs.
|
||||||
(("z3-solver>=4.13.0.0") ""))))
|
(("z3-solver>=4.13.0.0") ""))))
|
||||||
|
|||||||
Reference in New Issue
Block a user