summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorwiz <wiz>2004-03-26 02:27:34 +0000
committerwiz <wiz>2004-03-26 02:27:34 +0000
commit7cae8d916af102036e08b05f015a904705109b88 (patch)
tree41dd3b7f8e57da510c64a490aa410798a76dec65 /devel/pvs
parentbbaef637c5437ef15b10d1ce39468d92878689d2 (diff)
downloadpkgsrc-7cae8d916af102036e08b05f015a904705109b88.tar.gz
PKGREVISION bump after openssl-security-fix-update to 0.9.6m.
Buildlink files: RECOMMENDED version changed to current version.
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 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}/ \