This package was debianized by Samuele Giovanni Tonon 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 .