sthen b000604618 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.

2021-11-30 10:10:06 +00:00

..

patches

devel/cbmc: unbreak parallel build

2021-05-12 14:44:18 +00:00

pkg

…

distinfo

actually use correct GH_TAGNAME this time, I was confused by the DISTNAME.

2021-11-30 10:10:06 +00:00

Makefile

actually use correct GH_TAGNAME this time, I was confused by the DISTNAME.

2021-11-30 10:10:06 +00:00