[bug#69074] [PATCH] Add python-angr.

[jgart via Guix-patches via <guix-patches@gnu.org>]

> python-pwntools does not build right now. Therefore, pwntools is already
> 
> in a broken state. As such, my patchset doesn't change the status quo in
> 
> this regard. My initial goal was to keep this patchset simple(r) by
> 
> focusing on angr and not including unrelated changes; hence, I didn't
> 
> touch pwntools here.

Ok, don't worry about pwntools then for this ticket scope.

> claripy and the other packages added here can be used without angr (and
> 
> there is free software out there which does so), it's just that the
> 
> version needs to be in sync with python-angr. I would personally prefer
> 
> to stick to the PyPI name.

Hi Sören,

Ok, if in the future someone else wants the latest version of said packages then we might need to do some renames/accomodations since the versions that you are proposing are primarily for python-angr. That sounds good to me.

Regarding unicorn,

There are currently two tickets open that are trying to address updating unicorn:

https://issues.guix.gnu.org/40267
https://issues.guix.gnu.org/63442

If you can help with consolidating the efforts there through review with me we can then decide what to do with unicorn. Otherwise, I'll have to find some time to look through those two tickets in addition to your unicorn proposal and consolidate/decide what we will add first.

We can make progress on angr while ignoring the unicorn package for now if you can create one separate ticket for the new packages that are not python-angr and that are not dependent on a particular version of unicorn and I can try to review those by this week.

Once all of the above is merged and resolved, update ticket 69074 with the latest patch set that just includes python-angr for me to review.

Thanks and glad I can help with what I can,

jgart