CVS: cvs.openbsd.org: ports

Sun, 22 Mar 2026 19:47:03 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]    2026/03/22 20:46:53

Modified files:
        devel/cbmc     : Makefile 

Log message:
Mark BROKEN-sparc64 since the version of GNU ar in base is too old
to support "thin" archives

Reply via email to