CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2021/11/28 05:45:46

Modified files:
        devel/cbmc     : Makefile 

Log message:
use correct GH_TAGNAME, use GH_DISTFILE