CVS: cvs.openbsd.org: ports

Tue, 10 May 2022 05:28:52 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected] 2022/05/10 06:28:38

Modified files:
        math/z3        : Makefile distinfo 

Log message:
Update z3 to 4.8.17.

Reply via email to