CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]        2018/06/18 02:15:11


Modified files:
        math/z3        : Makefile distinfo 

Log message:
update z3 to 4.7.1.
ok benoit@.

Reply via email to