Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] coq-installer-8.5-win64.exe

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq-installer-8.5-win64.exe


Chronological Thread 
  • From: Jason Gross <jasongross9 AT gmail.com>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] coq-installer-8.5-win64.exe
  • Date: Thu, 11 Feb 2016 12:39:07 +0000
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jasongross9 AT gmail.com; spf=Pass smtp.mailfrom=jasongross9 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ob0-f176.google.com
  • Ironport-phdr: 9a23:02Zd3xPcWp8B9pNF6kkl6mtUPXoX/o7sNwtQ0KIMzox0KPryrarrMEGX3/hxlliBBdydsKIbzbGK+PuwEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxjLz5oM2bSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzoShLHzX8BWC1CmR1RRgPB8RvSX5HrsyK8uPAriweAOsijb7kvXjLqwL1sUwSg3CUOLDk//3vQkdchpK1eqROl4Rd4xtiHM8muKPNic/aFLpshTm1bU5MUDnQZDw==

This is a known bug, though the cause is not known.  Tell it to run anyway, or download the file on a browser that is not internet explorer.


On Thu, Feb 11, 2016, 7:34 AM Terrell, Jeffrey <jeffrey.terrell AT kcl.ac.uk> wrote:
Hi,

I got the following error when I tried to download coq-installer-8.5-win64.exe under Windows 8.1.

"The signature of this program is corrupt or invalid."

Any thoughts on what could be wrong?

Thanks.

Regards,
Jeff.





Archive powered by MHonArc 2.6.18.

Top of Page