coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] coq-installer-8.5-win64.exe, Terrell, Jeffrey, 02/11/2016
- Re: [Coq-Club] coq-installer-8.5-win64.exe, Jason Gross, 02/11/2016
- RE: [Coq-Club] coq-installer-8.5-win64.exe, Jérémy Buisson, 02/11/2016
- Re: [Coq-Club] coq-installer-8.5-win64.exe, Maxime Dénès, 02/11/2016
- Re: [Coq-Club] coq-installer-8.5-win64.exe, Terrell, Jeffrey, 02/11/2016
- Re: [Coq-Club] coq-installer-8.5-win64.exe, Maxime Dénès, 02/11/2016
- RE: [Coq-Club] coq-installer-8.5-win64.exe, Jérémy Buisson, 02/11/2016
- RE: [Coq-Club] coq-installer-8.5-win64.exe, Soegtrop, Michael, 02/11/2016
- Re: [Coq-Club] coq-installer-8.5-win64.exe, Jason Gross, 02/11/2016
Archive powered by MHonArc 2.6.18.