coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [Coq-club] Website seems down

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] [Coq-club] Website seems down
Date: Sun, 01 Apr 2018 10:43:06 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f53.google.com
Ironport-phdr: 9a23:DrJW9RR3Ko99+VkL4bJVLFysztpsv+yvbD5Q0YIujvd0So/mwa69YRyN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/27ZisNyjKxVrhGvqQFhzYHIe4yaLuZyc7nHcN8GWWZMXMBcXDFBDIOmaIsPCvIMM/hYr47noFsBtRixBQipBOPq1DBInHr20rc80+QnDArL2xAgH9IQv3TTttn0NaYSUeWwzKnJ1jjDYPZW1i386IjMaBwuvfaMXbdpfMfX1EIhGQTFjlCKpozkOTOYzuUNs26B7+phT+2jkWAnqxtprjigx8cslonJhp8OxVze6Sp5x4M1KNulQ0B4ed6pCIVcuz2eOodsQc4vQ3tktDgnxrAIo5K2fCYHxZI6zBDFcfOHaZKH4hf7WeaRPzh4gHVldaq6hxmo8EigzvTwVte30FpWtyZFnNnBu34X2xzc7ciHTfR9/kO/1jqVyw/T7eRELVg1lardNZEh3qY9moQPvUnHBCP7m0X7gLWIekk59OWk8eTqb7v+qp+ZLYB0iwX+Mqo0msy4BOQ1KhQOX2iF9uS7zrHi/Ez5QLBPjv03iaTZv5XaKt4apq69GQNazoEj6xOnAze8zNsYhWUHLE5CeB+fk4fpPEjOLOnkAve7nlSjiyxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F58EcNrZUK/XqH0T1qdbwDxkjMgXyzfy0Js9609YiWeOINZ2YNabfq1qB4ORnd/WMaYhTqjf4LvkN6PvnjHt/klgYK/r6laALYWy1S6w1a36SZmDh149YQDU6+zEmRemvs2WsFDtaZnK8RaU5v2hpB4evDIOFTYeo0uXYgHWLW6ZOb2UDMWiiVG/yftzdCfgJYSOWZMRml25cDOXze8oazRir8TTC5f9nI+7ToHBKsJvi0J1r5LWWm0xpszNzCMuZ3ieGSGQmxm4=

Hi Merlin,

Thank you for the report. Unfortunately, as the server is located on Inria premises the problem will likely not be fixed before Tuesday morning (this Monday is a holiday in France). Such down-times are a recurrent problem: we might consider addressing it by moving the website to a new host. See also https://github.com/coq/www/issues/64.

Cheers,

Théo

Le sam. 31 mars 2018 à 14:21, Merlin Göttlinger <megoettlinger AT gmail.com> a écrit :

Hi folks,

if people aren't aware of this already the coq website (https://coq.inria.fr/) seems down.

Cheers,
Merlin

Re: [Coq-Club] [Coq-club] Website seems down, Théo Zimmermann, 04/01/2018