diff options
| author | jschauma <jschauma@pkgsrc.org> | 2002-12-26 17:55:02 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2002-12-26 17:55:02 +0000 |
| commit | d0c7e1f155185995eb7bcf7a4f0c5d8a051e687c (patch) | |
| tree | 06364c32dbc7452c05db3f9a24dd1f61fc086e01 /devel/pvs | |
| parent | a6012250a1397e3c4c0a5272cf8327621fd89ab9 (diff) | |
| download | pkgsrc-d0c7e1f155185995eb7bcf7a4f0c5d8a051e687c.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} \ |