[crux-reports] Potentially broken source downloads

Port: /home/crux/git-to-rsync-working-copy/crux-2.7/opt/splint Url: http://www.splint.org/downloads/splint-3.1.2.src.tgz Reason: curl: (7) couldn't connect to host State: New Full report: http://crux.nu/files/check_urls.html