coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] coq-installer-8.5-win64.exe
Date: Thu, 11 Feb 2016 12:34:38 +0000
Accept-language: en-GB, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jeffrey.terrell AT kcl.ac.uk; spf=Pass smtp.mailfrom=jeffrey.terrell AT kcl.ac.uk; spf=Pass smtp.helo=postmaster AT EUR01-HE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:PTRc9RSeJbOkMumiAoEevNcDldpsv+yvbD5Q0YIujvd0So/mwa64bBSN2/xhgRfzUJnB7Loc0qyN4/+mAjBLusbJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuIP04T1HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AbSy09lgdCS1zO6wi/VZPsuAP7sPB80W+UJ5ulY6ozXGHo06pxUhLsjGNPFTM3/nvam4Y42KBWrhy7qg0534POeoyRMNJ9daebdNhcWGkXDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y=
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:23

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, Soegtrop, Michael, 02/11/2016