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

- Raw text -