From f343e91fb3ac04304dff105e52539ef5492a6825 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Fri, 27 Sep 2024 20:35:00 +0200 Subject: gnu: python-claripy: Update to 9.2.112. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/python-xyz.scm (python-claripy): Update to 9.2.112. Signed-off-by: Ludovic Courtès --- gnu/packages/python-xyz.scm | 6 +++--- 1 file 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 -- cgit v1.2.3