Module Name:	pkgsrc
Committed By:	jschauma
Date:		Mon Mar 31 20:49:37 UTC 2003

Modified Files:
	pkgsrc/devel/pvs: Makefile PLIST distinfo
	pkgsrc/devel/pvs/patches: patch-aa

Log Message:
Upgrade to 3.1, a bug-fix release. (Not much more information available
from the website.)


To generate a diff of this commit:
cvs rdiff -r1.5 -r1.6 pkgsrc/devel/pvs/Makefile
cvs rdiff -r1.2 -r1.3 pkgsrc/devel/pvs/PLIST pkgsrc/devel/pvs/distinfo
cvs rdiff -r1.2 -r1.3 pkgsrc/devel/pvs/patches/patch-aa

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.