The Coq mailing list

["Robert Merkin" <bobmerk AT earthlink.net>]

salut Pierre

contact Coq-Club member Dr. Benjamin Pierce at CIS University of 
Pennsylvania (Philadelphia), he now specializes in "hardening" -- comment 
d'it on cette mot? -- but he is peut-etre the World Leader in preventing and 
exterminating cooties = malware.

sorry about mon francaise, j'ai etudiee le langue Latin pour au parler avec 
le Pape et les mortes.

Bob Merkin
Massachusetts USA



----- Original Message ----- 
From: "Pierre Letouzey" <pierre.letouzey AT inria.fr>
To: "coq-club" 
<coq-club AT inria.fr>
Cc: "Coq Developers Mailing List" 
<coqdev AT inria.fr>
Sent: Sunday, August 13, 2017 1:17 PM
Subject: [Coq-Club] coq.inria.fr offline (and under investigation)


> Dear all,
>
> The server behind our website coq.inria.fr has been put offline early 
> today
> by the Inria sysadmin staff and is awaiting further investigations.
> For the moment, we have very little information about what appended,
> we've just been told that a component of the website has been compromised
> by intruders (bugzilla ? wiki ?) during the night. Unfortunately, these
> investigations by the Inria admins may take several days (next Tuesday
> is holiday here). We requested that at least the static part of the 
> website
> (especially downloads and documentation) be made available as soon as 
> possible,
> but we still do not know yet when this will happen. Of course, we'll keep
> you informed as soon as we know more about this attack and its 
> consequences.
>
> Most sorry for the inconvenience...
>
> Pierre Letouzey, for the Coq dev team