CVSROOT: /cvs Module name: ports Changes by: [email protected] 2018/04/10 02:17:38
Modified files:
math/z3 : Makefile distinfo
math/z3/pkg : PLIST
Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).
