CVS: cvs.openbsd.org: ports

[Kurt Mosiejczuk]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2026/09/21 01:34:11

Modified files:
        devel/cbmc     : Makefile 

Log message:
cbms is no longer BROKEN on sparc64 in the new base-clang era