Bug 223739

Summary: devel/splint: update URL
Product: Ports & Packages Reporter: Pedro F. Giffuni <pfg>
Component: Individual Port(s)Assignee: Tobias Kortkamp <tobik>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: ---    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
Update URL
none
Portlint none

Description Pedro F. Giffuni freebsd_committer freebsd_triage 2017-11-19 01:03:52 UTC 
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
Comment 1 Pedro F. Giffuni freebsd_committer freebsd_triage 2017-12-15 02:47:57 UTC 
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.
Comment 2 commit-hook freebsd_committer freebsd_triage 2018-10-01 19:42:27 UTC 
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
Comment 3 Tobias Kortkamp freebsd_committer freebsd_triage 2018-10-01 19:44:49 UTC 
(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.
Comment 4 Mark Linimon freebsd_committer freebsd_triage 2021-07-01 14:54:27 UTC 
^Triage: assign to committer that resolved.  (noticed due to bogus former assignment)