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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#72393: closed ([PATCH 00/10] gnu: python-angr: Update to
 9.2.112.)
Date: Mon, 07 Oct 2024 10:26:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 07 Oct 2024 12:24:41 +0200
with message-id <87r08sxlau.fsf <at> gnu.org>
and subject line Re: [bug#72393] [PATCH v2 01/10] gnu: python-ailment: Update to 9.2.112.
has caused the debbugs.gnu.org bug report #72393,
regarding [PATCH 00/10] gnu: python-angr: Update to 9.2.112.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
72393: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72393
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: soeren <at> soeren-tempel.net
To: guix-patches <at> gnu.org
Subject: [PATCH 00/10] gnu: python-angr: Update to 9.2.112.
Date: Wed, 31 Jul 2024 09:59:23 +0200

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

This patchset upgrades the angr package (previously added via #69074 by
myself) to the most recent version at the time of writing (9.2.112).
As part of the upgrade, four new dependencies have been added which are
required by the newer version (python-backports-strenum, python-cart,
python-pyformlang, and python-unique-log-filter).  Additionally, two
patches were removed as they have been integrated upstream.

The angr test suite passes locally and angr still seems to work as
intended.  However, due to the added pyformlang dependency angr now
depends (indirectly) on two different versions of python-pyparsing:
Version 2.4.7 via python-pydot (required by pyformlang) and version
3.0.6 required by python-packaging-bootstrap.  Any suggestion on how
to best resolve that?

Sören Tempel (10):
  gnu: python-ailment: Update to 9.2.112.
  gnu: python-pyvex: Update to 9.2.112.
  gnu: Add python-backports-strenum.
  gnu: python-archinfo: Update to 9.2.112.
  gnu: Add python-cart.
  gnu: python-cle: Update to 9.2.112.
  gnu: python-claripy: Update to 9.2.112.
  gnu: Add python-pyformlang.
  gnu: Add python-unique-log-filter.
  gnu: python-angr: Update to 9.2.112.

 gnu/local.mk                                  |   2 -
 gnu/packages/emulators.scm                    |  40 +++++-
 .../python-angr-addition-type-error.patch     |  18 ---
 .../patches/python-angr-check-exec-deps.patch |  83 ++++++-----
 .../python-pyvex-remove-angr-dependency.patch |  80 -----------
 gnu/packages/python-xyz.scm                   | 130 +++++++++++++++---
 6 files changed, 186 insertions(+), 167 deletions(-)
 delete mode 100644 gnu/packages/patches/python-angr-addition-type-error.patch
 delete mode 100644 gnu/packages/patches/python-pyvex-remove-angr-dependency.patch


base-commit: 01d4363168ed10ea223047f7a7b83201f161ec0b

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: soeren <at> soeren-tempel.net
Cc: Sharlatan Hellseher <sharlatanus <at> gmail.com>,
 Munyoki Kilyungi <me <at> bonfacemunyoki.com>, Lars-Dominik Braun <lars <at> 6xq.net>,
 jgart <at> dismail.de, Marius Bakke <marius <at> gnu.org>,
 Tanguy Le Carrour <tanguy <at> bioneland.org>, 72393-done <at> debbugs.gnu.org
Subject: Re: [bug#72393] [PATCH v2 01/10] gnu: python-ailment: Update to
 9.2.112.
Date: Mon, 07 Oct 2024 12:24:41 +0200

Hi Sören,

Applied the whole series, which got a green light on qa.guix.

Thanks!

Ludo’.

Previous Next

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