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 2993a08a7f4..3cbaae78e5c 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.24 2006/01/23 16:50:55 joerg Exp $ +# $NetBSD: Makefile,v 1.25 2006/02/05 23:08:50 joerg Exp $ # DISTNAME= pvs-${VERSION} PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} +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}/ \ |