CVS: cvs.openbsd.org: ports

[Kirill A . Korinsky]

CVSROOT:        /cvs
Module name:    ports
Changes by:     kir...@cvs.openbsd.org  2026/07/18 16:22:28

Modified files:
        math/z3        : Makefile distinfo 
        math/z3/pkg    : PLIST 

Log message:
math/z3: update to 5.0.0