summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorminskim <minskim>2009-08-06 01:44:45 +0000
committerminskim <minskim>2009-08-06 01:44:45 +0000
commita670856fc31935c830f7709eeb2e2143601e9389 (patch)
tree6446a3d7ca31c022859dbc129c48bcc41c1d3e6b /devel/pvs
parentb0f1de978901868049e6eaee354755ce53bb484b (diff)
downloadpkgsrc-a670856fc31935c830f7709eeb2e2143601e9389.tar.gz
PKGREVISION bump for elisp packages because of bytecode format changes
in emacs23.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/Makefile4
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}/ \