The Coq mailing list

["Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk>]

Hello Maxime,

That seems to have done the trick. I was given options to run or delete this time around as opposed to just delete last time. It’s worth noting that I’m not normally given an option to delete a download and so there’s still something slightly amiss, but with what I’m not sure.

Anyway, I installed the release and it’s working fine. Thanks for your help.

Regards,

Jeff.

On 11 Feb 2016, at 13:33, Maxime Dénès <mail AT maximedenes.fr> wrote:

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.