The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

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