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
commit94dbb92ce581099ef4553339dbef293d28014719 (patch)
tree55f8bf20a2509b6bfbeff866e548573d549d538e /devel/pvs
parent838b89eb8a4d5a4e7a27ed1eec02c19c2006875b (diff)
downloadpkgsrc-94dbb92ce581099ef4553339dbef293d28014719.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}/ \