CVSROOT: /cvs Module name: ports Changes by: [email protected] 2021/11/30 03:10:06
Modified files:
devel/cbmc : Makefile distinfo
Log message:
actually use correct GH_TAGNAME this time, I was confused by the DISTNAME.
while github backed out the major change that broke distfile fetching, they
appear to not allow fetches from random junk filenames any more, they do need
a matching file/tag name, so with previous the distfile couldn't be fetched.
