X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
X-Recipient: djgpp AT delorie DOT com
X-Authenticated: #27081556
X-Provags-ID: V01U2FsdGVkX1+cv+YyOACc17FCSPotDGZcYaE0g8bqo+ODkch6+w
	PKGnS3UlB2FYuI
From: Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
To: djgpp AT delorie DOT com
Subject: Re: ANNOUNCE: DJGPP port of Splint 3.1.2 uploaded
Date: Fri, 7 Dec 2007 22:10:21 +0100
User-Agent: KMail/1.9.5
References: <200712072215 DOT lB7MF8YK016494 AT delorie DOT com>
In-Reply-To: <200712072215.lB7MF8YK016494@delorie.com>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200712072210.21749.juan.guerrero@gmx.de>
X-Y-GMX-Trusted: 0

Am Freitag, 7. Dezember 2007 21:24 schrieben Sie:
> This is a port of Splint 3.1.2 to MSDOS/DJGPP.
[snip]

   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, pdf 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


Enjoy.

        Guerrero, Juan Manuel <juan DOT guerrero AT gmx DOT de>