summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorjoerg <joerg>2006-02-05 23:08:03 +0000
committerjoerg <joerg>2006-02-05 23:08:03 +0000
commit93e3b9e04264b93620166058e19ea42c856505b0 (patch)
tree55f8bf20a2509b6bfbeff866e548573d549d538e /devel/pvs
parent64c62687571ac76a3ac8b5402e7bd4f1498bef90 (diff)
downloadpkgsrc-93e3b9e04264b93620166058e19ea42c856505b0.tar.gz
Recursive revision bump / recommended bump for gettext ABI change.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/Makefile3
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}/ \