ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 22:08:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-claripy: Update to 9.2.112.

Browse source 
* gnu/packages/python-xyz.scm (python-claripy): Update to 9.2.112.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Sören Tempel 2024-09-27 20:35:00 +02:00 committed by Ludovic Courtès
parent ceea675a09
commit f343e91fb3
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/python-xyz.scm
View file

@ -34180,7 +34180,7 @@ (define-public python-claripy
(package
(name "python-claripy")
;; Must be the same version as python-angr.
(version "9.2.46")
(version "9.2.112")
(source
(origin
;; Fetching from Git as pypi release doesn't include all test files.
@ -34190,13 +34190,13 @@ (define-public python-claripy
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32 "0nmawpi1596d9plafrp2db36cjsidy2fagkzkja51jwlx2m1ngai"))
(base32 "0c6q6imxjwhxn87d9yz8zvyrszk94r25w8x0g1lr6mrpa9bx7wai"))
(modules '((guix build utils)))
(snippet '(begin
(substitute* "setup.cfg"
;; Relax the z3 version constraint.
;; See https://github.com/angr/claripy/commit/d1fe2df
(("z3-solver==4.10.2.0")
(("z3-solver==4.13.0.0")
""))))))
(build-system pyproject-build-system)
(arguments