kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update primary master site's host name, from HOMEPAGE.

Browse source 
Drop 2nd and 3rd sites from MASTER_SITES (ver3.2 is not hosted).
PR 47059.
This commit is contained in:
obache 2012-10-12 08:15:26 +00:00
parent 66505fc126
commit 550f6512d8
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
devel/pvs/Makefile
View file

@ -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} \