CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]       2023/08/12 07:31:09


Modified files:
        math/z3        : Makefile distinfo 

Log message:
Update to z3-4.12.2.

Reply via email to