diff options
| author | obache <obache@pkgsrc.org> | 2012-10-12 08:15:26 +0000 |
|---|---|---|
| committer | obache <obache@pkgsrc.org> | 2012-10-12 08:15:26 +0000 |
| commit | db57bb7322e4d8cbaa69e07d2a7915cbcbfcef01 (patch) | |
| tree | 217dd6ae0a101879823ace88f5ddd18aa45164e9 /devel/pvs | |
| parent | da604f2b06b6026d9c551bccad2c5cceffb09282 (diff) | |
| download | pkgsrc-db57bb7322e4d8cbaa69e07d2a7915cbcbfcef01.tar.gz | |
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 (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
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} \ |