from http://www.gnu.org/ or the Free Software Foundation, Inc., 59
Temple Place - Suite 330, Boston, MA 02111-1307, USA.
-For information on lclint: lclint-request@cs.virginia.edu
-To report a bug: lclint-bug@cs.virginia.edu
+For information on Splint: splint@cs.virginia.edu
+To report a bug: splint-bug@cs.virginia.edu
==============================================================================
GNU GENERAL PUBLIC LICENSE