diff options
author | jschauma <jschauma> | 2002-12-26 17:55:02 +0000 |
---|---|---|
committer | jschauma <jschauma> | 2002-12-26 17:55:02 +0000 |
commit | aecbc04e306fa0203732f85a1fb919a561d270ac (patch) | |
tree | 06364c32dbc7452c05db3f9a24dd1f61fc086e01 /devel/pvs | |
parent | f2571db667cb1cb88897fcec7f9997cdee67e85d (diff) | |
download | pkgsrc-aecbc04e306fa0203732f85a1fb919a561d270ac.tar.gz |
Add a mirror
Diffstat (limited to 'devel/pvs')
-rw-r--r-- | devel/pvs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 863bf62c487..a62c386d9fe 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,10 +1,11 @@ -# $NetBSD: Makefile,v 1.2 2002/12/20 21:37:37 jschauma Exp $ +# $NetBSD: Makefile,v 1.3 2002/12/26 17:55:02 jschauma Exp $ # DISTNAME= pvs-${VERSION} PKGREVISION= 1 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}/ EXTRACT_SUFX= .tgz DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \ |