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