Re: [ports-gcc] Unbreak devel/angr/py-z3-solver

> On 16 Aug 2019, at 18:18, Charlene Wendling wrote: > > Hi, > >> http://build-failures.rhaalovely.net/sparc64/2019-08-12/devel/angr/py-z3-solver.log >> http://build-failures.rhaalovely.net/powerpc/2019-07-29/devel/angr/py-z3-solver.log > > I've found a fix for this from the "standard" z3 re

Re: [ports-gcc] Unbreak devel/angr/py-z3-solver

Thanks to both of you, obviously OK kn.