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
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
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