Module Name:	pkgsrc
Committed By:	jschauma
Date:		Sun Apr 10 16:49:59 UTC 2005

Modified Files:
	pkgsrc/devel/splint: Makefile distinfo

Log Message:
Update splint to 3.1.1.
The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6
release.  Among other improvements, the accuracy of the bounds checking code
has improved; Splint can produce output in html or comma separated value(CSV)
format; and support for numabstract types has been added. Additionally the
code contains numerous bugs fixes and house keeping updates.
(Details at http://www.splint.org/changes.html )
No list of changes available for the 3.1.1 release.


To generate a diff of this commit:
cvs rdiff -r1.6 -r1.7 pkgsrc/devel/splint/Makefile
cvs rdiff -r1.2 -r1.3 pkgsrc/devel/splint/distinfo

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