coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Unable to download coq

From: sachin!! <sachinvasudev AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Unable to download coq
Date: Fri, 17 Oct 2008 20:36:27 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type; b=FxkkCihq51ZLfhgG5wCSl023O1EER9/MrcY48oJIdpq/ke1bLZEMTKeANjjfzxDF87 A5rXlX0LRNeZ0qZm8HlphZmUKg4TW0dyX0mWRwY2y6OWjj2VANbogZyi5lhqVslWzZua bG3rqlwV7lCCRNKKe4eizfeEVRaWZW5MD4hzM=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi i'm unable to download the latest version from the website. The URL I tried is
http://coq.inria.fr/V8.1pl4/files/coq-8.1pl4-1-win.exe

Please resolve it at the earliest.

Thanking you,
Sachin Vasudev

--
**> Never let a computer see you hurry. <**

[Coq-Club] Unable to download coq, sachin!!
- Re: [Coq-Club] Unable to download coq, Andrew McCreight