The Coq mailing list

[Jean-Marc Notin <notin AT lix.polytechnique.fr>]

Hi,

The servers that are running the web services for Coq (the Coq web site, 
the bug tracker, and the coqbench) will be physically moved this friday. 
As a consequence, all the services will be shutdown on friday at 8:00 am 
(GMT+2). They will be restarted a few hours later, but they won't be 
fully available until the DNS propagation has occurred, which can take, 
in the worst case scenario, up to 72 hours.

We are sorry for the inconvenience.

P.S.: The mailing lists and the subversion repository will still be 
available as they are not hosted by our servers.

--
Jean-Marc Notin
CNRS - LIX

Attachment: smime.p7s
Description: Signature cryptographique S/MIME