On Fri, 16 Aug 2019 17:27:09 -0600 (MDT) Charlene Wendling wrote: > CVSROOT: /cvs > Module name: ports > Changes by: [email protected] 2019/08/16 17:27:09 > > Modified files: > devel/angr/py-z3-solver: Makefile > Added files: > devel/angr/py-z3-solver/patches: > > patch-core_src_util_lp_permutation_matrix_h > > Log message: > py-z3-solver: unbreak with ports-gcc, by fixing an incorrect > conversion. Tested on sparc64 (by kmos@, thanks!) and macppc. > > OK kmos@ kn@ (maintainer) >
And OK jasper@ who co-maintains the port.
