The Coq mailing list

[Maxime Dénès <mail AT maximedenes.fr>]

Hello,

I have just updated the Coq packages for Windows with a sha256 signature.

@Jeff Can you try again?

@Jérémy Thanks for pointing out the source of the problem.

Note that we may still get a "smartscreen" warning until Microsoft gets
more familiar with Coq 8.5 packages.

Maxime.

On 02/11/16 13:56, Jérémy Buisson wrote:
> 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
>  
> <mailto: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.
>