diff options
| author | Sören Tempel <soeren@soeren-tempel.net> | 2024-09-27 20:35:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-10-07 12:51:24 +0200 |
| commit | f343e91fb3ac04304dff105e52539ef5492a6825 (patch) | |
| tree | 6f8e291ac534d43cc6c6fbedd19e77953e46ec49 /gnu/packages | |
| parent | ceea675a09e2bed3ff772a481c23e9d6e432c61b (diff) | |
gnu: python-claripy: Update to 9.2.112.
* gnu/packages/python-xyz.scm (python-claripy): Update to 9.2.112.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 5f831afc94..22c6b09909 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -34180,7 +34180,7 @@ to enable all kinds of binary analysis tasks.") (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 @@ to enable all kinds of binary analysis tasks.") (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 |