From patchwork Fri Sep 27 18:35:00 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?S=C3=B6ren_Tempel?= X-Patchwork-Id: 31518 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5BAF427BBEC; Fri, 27 Sep 2024 19:37:33 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-7.6 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE,SPF_HELO_PASS, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 19ACD27BBE2 for ; Fri, 27 Sep 2024 19:37:33 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1suFpe-0005EL-QV; Fri, 27 Sep 2024 14:36:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1suFpX-0004kZ-C1 for guix-patches@gnu.org; Fri, 27 Sep 2024 14:36:40 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1suFpW-0001ta-SJ; Fri, 27 Sep 2024 14:36:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=xVqitDGsVz0nlFRMrHTni2Pv2eYVkBaIvMJhhMZ8FRc=; b=c6pbo7x3hCAk+X00OuS79ge606uQ0Kje5TIbN5p5cnJ5ppV4o972G9oiPdmPldHRrDuVlfYCcv5mNGXhsCqworlhCtiCivGmHN9FUhxMM/CtssK2TiUiPJ4UkmxIMB88ZJ15ntcuT653zLkjPHc5wniEECYfpZaEUMRSsOIL/cXa8YRjxYJKZ+mLNRCVnw0bj2GbINS0MI06Y1b7VQqb5pvqy6MvplDzlMfTI7OKLjv/cz4RZo6SGXYWozC8Uu+9NaaQLFGd/x3j06BdMMKUeEMAT7E1tYH1oZWTsI7Ibb82NbWmMyxE0QVDEnx8HXvpuHcmD2g+wOe5xOEBLCukww==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1suFpx-0007b0-EY; Fri, 27 Sep 2024 14:37:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72393] [PATCH v2 07/10] gnu: python-claripy: Update to 9.2.112. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, marius@gnu.org, me@bonfacemunyoki.com, sharlatanus@gmail.com, tanguy@bioneland.org, jgart@dismail.de, guix-patches@gnu.org Resent-Date: Fri, 27 Sep 2024 18:37:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72393 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72393@debbugs.gnu.org Cc: jgart@dismail.de, Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , Tanguy Le Carrour , jgart X-Debbugs-Original-Xcc: Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , Tanguy Le Carrour , jgart Received: via spool by 72393-submit@debbugs.gnu.org id=B72393.172746217328999 (code B ref 72393); Fri, 27 Sep 2024 18:37:05 +0000 Received: (at 72393) by debbugs.gnu.org; 27 Sep 2024 18:36:13 +0000 Received: from localhost ([127.0.0.1]:47153 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1suFp6-0007XY-7Z for submit@debbugs.gnu.org; Fri, 27 Sep 2024 14:36:12 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:18497) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1suFp1-0007VD-2q; Fri, 27 Sep 2024 14:36:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=xVqitDGs Vz0nlFRMrHTni2Pv2eYVkBaIvMJhhMZ8FRc=; h=references:in-reply-to:date: subject:cc:to:from; d=soeren-tempel.net; b=uA/Lk4dONp0ZDeRUe2CnRs6uwoS 8p9E3MzX1jd8xAiK5ivm/SlkQ+BC47a4c8cqQU+tTcqoCYcl86I19Y70GT+SkB4LyBQ0o1 3WeLPPonZTfRL/+MzbGe/fdsJHLWyg3kjgzraVdxhUtSm2bTU0gThhXpVvuqhVMdMxmpNW ilTU= Received: from localhost (dyn.ipv6.net-htp.de [2a02:560:4d5a:5700:f45d:5adb:48d9:9418]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id ceb52569 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Fri, 27 Sep 2024 20:35:30 +0200 (CEST) From: soeren@soeren-tempel.net Date: Fri, 27 Sep 2024 20:35:00 +0200 Message-ID: <325f5909e1f552a540a1d4c4b8ad7bce8a97f32a.1727462103.git.soeren@soeren-tempel.net> X-Mailer: git-send-email 2.46.1 In-Reply-To: <0dd3ef50a19a67c58a12f06a0b99356b87a31fe8.1727462103.git.soeren@soeren-tempel.net> References: <0dd3ef50a19a67c58a12f06a0b99356b87a31fe8.1727462103.git.soeren@soeren-tempel.net> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Sören Tempel * 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