Created attachment 188103 [details] Update URL splint.org is not responding anymore. While here, I should mention the official repository is now at github: https://github.com/ravenexp/splint
Created attachment 188850 [details] Portlint While updating the URL, let's also pacify portlint. FWIW.. I tried using the github version but it doesn't build(!), so better keep using the version that we know works.
A commit references this bug: Author: tobik Date: Mon Oct 1 19:42:24 UTC 2018 New revision: 481057 URL: https://svnweb.freebsd.org/changeset/ports/481057 Log: devel/splint: Add LICENSE PR: 223739 Submitted by: pfg Approved by: lwhsu (maintainer timeout, ~11 months) Changes: head/devel/splint/Makefile
(In reply to Pedro F. Giffuni from comment #0) splint.org seems to be reachable again now. It might have just been a temporary issue.
^Triage: assign to committer that resolved. (noticed due to bogus former assignment)