[crux-reports] Potentially broken source downloads

[crux at crux.nu]

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

Port: /home/crux/git-to-rsync-working-copy/crux-2.7/opt/tetex
 Url: ftp://dante.ctan.org/pub/tex/systems/unix/teTeX/current/distrib/tetex-src-3.0.tar.gz
 Reason: curl: (9) Server denied you to change to the given directory
 State: Reminder

Port: /home/crux/git-to-rsync-working-copy/crux-2.7/opt/tetex
 Url: ftp://dante.ctan.org/pub/tex/systems/unix/teTeX/current/distrib/tetex-texmf-3.0.tar.gz
 Reason: curl: (9) Server denied you to change to the given directory
 State: Reminder

Port: /home/crux/git-to-rsync-working-copy/crux-2.7/opt/tetex
 Url: ftp://dante.ctan.org/pub/tex/systems/unix/teTeX/current/distrib/tetex-texmfsrc-3.0.tar.gz
 Reason: curl: (9) Server denied you to change to the given directory
 State: Reminder

Port: /home/crux/git-to-rsync-working-copy/crux-2.7/opt/xpdf
 Url: ftp://ftp.foolabs.com/pub/xpdf/xpdf-3.02pl1.patch
 Reason: curl: (78) Remote file not found Last-Modified: Thu, 01 Jan 1970 00:03:12 GMT
 State: Changed reason



Full report: http://crux.nu/files/check_urls.html