From:	"andrew.johnson22" <andrew DOT johnson22 AT ntlworld DOT com>
To:	<djgpp AT delorie DOT com>
Subject:	Spin/XSpin GCC files
Date:	Sun, 18 Feb 2001 20:34:56 -0000
Message-ID:	<NEBBLFMMAKILAGBJPIIFIEBMCAAA.andrew.johnson22@ntlworld.com>
MIME-Version:	1.0
X-Priority:	3 (Normal)
X-MSMail-Priority:	Normal
X-Mailer:	Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
Importance:	Normal
X-MimeOLE:	Produced By Microsoft MimeOLE V5.00.2314.1300
Reply-To:	djgpp AT delorie DOT com

Dear Sir,

I tried to download files from the following URL's, but they do not exist.
This is part of the GCC for the files gcc.exe, cpp.exe and g032.exe.

http://www.simtel.net/pub/simtelnet/gnu/djgpp/v2/djdev202.zip
http://www.simtel.net/pub/simtelnet/gnu/djgpp/v2gnu/bnu281b.zip

Could you give me another reference where I could obtain the files required.

I am using the XSpin model checker for use as part of my university studies.

The URL I got these references from is
http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html

Thanks
Andrew Johnson

- Raw text -