diff options
Diffstat (limited to 'devel/pvs/Makefile')
-rw-r--r-- | devel/pvs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index b18ef46f562..0a0b06cc385 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.40 2009/05/19 08:59:11 wiz Exp $ +# $NetBSD: Makefile,v 1.41 2009/08/06 01:44:50 minskim Exp $ # DISTNAME= pvs-${VERSION} PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= devel lang MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \ ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \ |