CVS: cvs.openbsd.org: ports

Fri, 20 Feb 2026 08:38:55 -0800 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2026/02/20 09:38:47

Modified files:
        math/z3        : Makefile distinfo 
        math/z3/patches: patch-scripts_mk_util_py 

Log message:
math/z3: update to 4.16.0

Reply via email to