X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
From: Cesar Rabak <csrabak AT yahoo DOT com DOT br>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: ANNOUNCE: DJGPP port of Splint 3.1.2 uploaded
Date: Fri, 07 Dec 2007 21:46:05 -0300
Organization: Aioe.org NNTP Server
Lines: 33
Message-ID: <fjclms$4k8$1@aioe.org>
References: <200712072215 DOT lB7MF8YK016494 AT delorie DOT com>
NNTP-Posting-Host: drs+/V1EYJj35KhLd2EVxg.user.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse AT aioe DOT org
In-Reply-To: 
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Juan Manuel Guerrero escreveu:
> This is a port of Splint 3.1.2 to MSDOS/DJGPP.
> 
>   Splint is a tool for statically checking C programs for security
>   vulnerabilities and coding mistakes.
> 
[snipped]

> 
>    The port consists of the two packages that have been compiled using
>    djdev204 and can be downloaded from ftp.delorie.com and mirrors as
>    (timestamp 2007-12-07):
> 
>     Splint 3.1.2 binary, info and man format documentation:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
> 
>     Splint 3.1.2 source:
>     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/mak381b.zip
> 
I _think_ you mean:

	Splint 3.1.2 binary, info and man format documentation:

	ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312b.zip

	Splint 3.1.2 source:
	ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312s.zip


HTH

--
Cesar Rabak