CVS: cvs.openbsd.org: ports

Thu, 14 Sep 2023 00:30:27 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected] 2023/09/14 01:30:20

Modified files:
        math/z3        : Makefile 

Log message:
Enable debug packages.

Reply via email to