The port games/inform7 is marked as BROKEN, unfetchable with the following master sites:
Both of these are indeed 404. But the first URL can simply be changed to:
and the port will be functional again.
The second URL (heanet.ie) I have no knowledge of.
(In reply to Anders from comment #0)
Apologies, the correct URL is:
I have a tested fix, ready to go. I'm just confirming that such a fix can be done under portmgr blanket approval.
A commit references this bug:
Date: Thu Dec 12 13:35:42 UTC 2019
New revision: 519863
Submitted by: Anders <email@example.com>
Approved by: portmgr (blanket)
Fixed, thank you.