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)
