The Coq mailing list

[Jérémy Buisson <jeremy.buisson AT irisa.fr>]

Hi,

 

A similar problem arose with VirtualBox: https://forums.virtualbox.org/viewtopic.php?f=6&t=75851

MS has decided to reject SHA1 signatures: https://technet.microsoft.com/library/security/3123479

 

Since the executable seems to be signed using SHA1 (according to my system), it is rejected. It can still be forcibly executed, ignoring the security advise.

 

Best.

 

De : coq-club-request AT inria.fr [mailto:coq-club-request AT inria.fr] De la part de Jason Gross
Envoyé : jeudi 11 février 2016 13:39
À : Coq Club <coq-club AT inria.fr>
Objet : Re: [Coq-Club] coq-installer-8.5-win64.exe

 

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.