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

[Robert Elz <kre%munnari.OZ.AU@localhost>]

The following reply was made to PR pkg/47059; it has been noted by GNATS.

From: Robert Elz <kre%munnari.OZ.AU@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: pkg/47059: devel/pvs: source unfetchable and restricted
Date: Fri, 12 Oct 2012 15:11:03 +0700

     Date:        Fri, 12 Oct 2012 07:05:01 +0000 (UTC)
     From:        netbsd%marino.st@localhost
     Message-ID:  <20121012070501.39F2F63DCF6%www.NetBSD.org@localhost>
 
   | 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}/
 
   | Site 1: Doesn't resolve
 
 Yes, it does, though at the minute at least, it is not responding
 to FTP requests (either it is down, or vanished).
 
   | Site 3: FTP site exists, but directory doesn't.
 
 I can't get an FTP login there at all (connection refused) - whether
 that's a temporary or long term issie I don't know.
 
 If it helps (which it prbably doesn't) I was able to fetch the
 distfiles (for i386 anyway, didn't bother with the solaris sparc
 version) in Feb 2010...  (I still have them).
 
 kre