diff options
Diffstat (limited to 'devel/pvs/Makefile')
-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 98c7693107c..fdf0524e0df 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.12 2004/03/22 03:52:06 kristerw Exp $ +# $NetBSD: Makefile,v 1.13 2004/03/26 02:27:38 wiz 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}/ \ |