pkg/47059: devel/pvs: source unfetchable and restricted

[netbsd%marino.st@localhost]

>Number:         47059
>Category:       pkg
>Synopsis:       devel/pvs: source unfetchable and restricted
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    pkg-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Oct 12 07:05:00 +0000 2012
>Originator:     John Marino
>Release:        
>Organization:
>Environment:
>Description:
package: devel/pvs
MASTER_SITES:
1: ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/
2: ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/
3: ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/
file: pvs-3.2-*.tgz

RESTRICTED=             Redistribution not permitted - see 
${HOMEPAGE}license.html
NO_SRC_ON_FTP=          ${RESTRICTED}
NO_SRC_ON_CDROM=        ${RESTRICTED}
NO_BIN_ON_FTP=          ${RESTRICTED}
NO_BIN_ON_CDROM=        ${RESTRICTED}
>How-To-Repeat:
move pvs-3.2-*.tgz files out of distfiles directory.
> cd /usr/pkgsrc/devel/pvs
> make fetch

Site 1: Doesn't resolve
Site 2: Has only versions 2.2, 2.3, 2.4, 3.0, and 3.1 (NOT 3.2)
Site 3: FTP site exists, but directory doesn't.
>Fix:
The most likely solution is to get site 2 to host version 3.2.
Also, the makefile says this about RESTRICTED "# not quite sure about this, but 
to be on the safe side:" so maybe it can actually be hosted by NetBSD.

In any case, MASTER_SITES 1 and 3 likely need to be removed.

If all else fails, the package has to be removed.