From db57bb7322e4d8cbaa69e07d2a7915cbcbfcef01 Mon Sep 17 00:00:00 2001
From: obache <obache@pkgsrc.org>
Date: Fri, 12 Oct 2012 08:15:26 +0000
Subject: Update primary master site's host name, from HOMEPAGE. Drop 2nd and
 3rd sites from MASTER_SITES (ver3.2 is not hosted). PR 47059.

---
 devel/pvs/Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'devel/pvs')

diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile
index d80e838a9c8..038a3b859a1 100644
--- a/devel/pvs/Makefile
+++ b/devel/pvs/Makefile
@@ -1,13 +1,11 @@
-# $NetBSD: Makefile,v 1.43 2011/02/19 00:42:21 minskim Exp $
+# $NetBSD: Makefile,v 1.44 2012/10/12 08:15:26 obache Exp $
 #
 
 DISTNAME=		pvs-${VERSION}
 PKGNAME=		${EMACS_PKGNAME_PREFIX}${DISTNAME}
 PKGREVISION=		3
 CATEGORIES=		devel lang
-MASTER_SITES=		ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
-			ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
-			ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/
+MASTER_SITES=		ftp://ftp.csl.sri.com/pub/pvs/pvs${VERSION}/
 EXTRACT_SUFX=		.tgz
 DISTFILES=		${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
 			pvs-${VERSION}-system${EXTRACT_SUFX} \
-- 
cgit v1.2.3