[pkgsrc/trunk]: pkgsrc/devel/pvs master site is gone, add a mirror

[tnn <tnn%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/621668642999
branches:  trunk
changeset: 648425:621668642999
user:      tnn <tnn%pkgsrc.org@localhost>
date:      Sat Mar 14 17:50:25 2015 +0000

description:
master site is gone, add a mirror

diffstat:

 devel/pvs/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r cb70f9b6e7ef -r 621668642999 devel/pvs/Makefile
--- a/devel/pvs/Makefile        Sat Mar 14 17:43:57 2015 +0000
+++ b/devel/pvs/Makefile        Sat Mar 14 17:50:25 2015 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.47 2015/03/06 19:36:33 tnn Exp $
+# $NetBSD: Makefile,v 1.48 2015/03/14 17:50:25 tnn Exp $
 #
 
 # This package is very outdated and should be built from sources
@@ -11,6 +11,7 @@
 PKGREVISION=           4
 CATEGORIES=            devel lang
 MASTER_SITES=          ftp://ftp.csl.sri.com/pub/pvs/pvs${VERSION}/
+MASTER_SITES+=         http://ftp.lip6.fr/pub/pvs/pvs3.2/
 EXTRACT_SUFX=          .tgz
 DISTFILES=             ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
                        pvs-${VERSION}-system${EXTRACT_SUFX} \