This package was debianized by Samuele Giovanni Tonon <samu@debian.org> on
Thu,  8 May 2003 12:54:14 +0200.

It was downloaded from www.splint.org/manual

Upstream Author:  Massachusetts Institute of Technology University of Virginia.
		  For information on spint: info@splint.org
		  To report a bug: splint-bug@splint.org


Copyright:

A copy of the GNU General Public License, version 2, can be found in
/usr/share/common-licenses/GPL .

