GNU bug report logs - #72393
[PATCH 00/10] gnu: python-angr: Update to 9.2.112.

Previous Next

Full log

Message #65 received at 72393 <at> debbugs.gnu.org (full text, mbox):

From: soeren <at> soeren-tempel.net
To: 72393 <at> debbugs.gnu.org
Cc: jgart <at> dismail.de
Subject: [PATCH v2 07/10] gnu: python-claripy: Update to 9.2.112.
Date: Fri, 27 Sep 2024 20:35:00 +0200

From: Sören Tempel <soeren <at> soeren-tempel.net>

* gnu/packages/python-xyz.scm (python-claripy): Update to 9.2.112.
---
 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 909aa5f43c..d34009abc7 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -34178,7 +34178,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.
@@ -34188,13 +34188,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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.