pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/devel/pvs Update primary master site's host name, from...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/1c4ebf911f96
branches:  trunk
changeset: 609879:1c4ebf911f96
user:      obache <obache%pkgsrc.org@localhost>
date:      Fri Oct 12 08:15:26 2012 +0000

description:
Update primary master site's host name, from HOMEPAGE.
Drop 2nd and 3rd sites from MASTER_SITES (ver3.2 is not hosted).
PR 47059.

diffstat:

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

diffs (19 lines):

diff -r 88731001abc7 -r 1c4ebf911f96 devel/pvs/Makefile
--- a/devel/pvs/Makefile        Fri Oct 12 08:06:25 2012 +0000
+++ b/devel/pvs/Makefile        Fri Oct 12 08:15:26 2012 +0000
@@ -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} \



Home | Main Index | Thread Index | Old Index