coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq website down?

From: Xuanrui Qi <xqi01 AT cs.tufts.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Coq website down?
Date: Mon, 05 Nov 2018 18:47:00 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xqi01 AT cs.tufts.edu; spf=None smtp.mailfrom=xqi01 AT cs.tufts.edu; spf=None smtp.helo=postmaster AT vm-delivery1.eecs.tufts.edu
Ironport-phdr: 9a23:Dvjc7xQKCFxVBUpuaUFKGN3u/dpsv+yvbD5Q0YIujvd0So/mwa69bRSN2/xhgRfzUJnB7Loc0qyK6/+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4KB3RRLmiioKOSc1/H3Yh8dtiK5WoA6tqxl5zoXJYo+aKeB+c7vec90HRWRPQMhfWDBPDYyzYIUCFPYBMORCooXhu1cDtxmzCA+xD+3v0D9IgXr20LU73OQ8Cw7G2hYgH88PsH/Jt9v1NboZXOe6zanRzDXPc+5a1Czh54jTaBwhveyMXbxsccrK00UgCR7KjkiJpIHjIjib2OMNs22B4OphU+Kik28nqwdrojiu3MggkIfJhpgTx1vZ9it52J44KcC2RUJne9KpEZRduzuEO4Z4WM8vTWNltD4nxrAIpZK3ZikHxZs9yxLBZfGLaYaF7xPlWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZUqypJi8TDuW4J1xzS9MiIVOF9/0e81TqVyQ/c9P1LIVsumarHNp4hzKIwloEJvUvdAyD2hV36jK6Qdko65uil8/nrb7v6qpOGNoJ5hRvyProgl8ClD+k1MBACX22B9uS90L3j81f5QLJPjvAunajZqZHaKdgGqqOiHwBVyZwv6wqiDzeozNQYhmMLI0xYdxKal4TpIU3BIOjkDfejhFShiCtkx/ffPrH4HprNKmXDn6z6cLZm609czRIzwspF65JVDLEBOvPzVVXruNzWFB9qezCzlqzsD8w43YcDU0qOBLWYOeXcqxXAsukoOqyHYJIfkDf7MfksofD02ywXg1gYKJm01J0NdXHwJ/Uud1WAYCK1qtwaV3sXsBYlCuHmlQvRAnZoe3+uUvdktXkAA4W8ANKeHtn80ozE5z+yG9htXk4DD1mNFXnycIDdB6UHc2SOP8F9iXoJWaXzE9Z9hyHrjxfzzv9cFsSR4jcR7M6x38Mz+/DdiQp0+DBpXZzEjjO9Clpsl2ZNfAcYmaBypUsnmwWd1O10jvhZC9FJ9qoPXwoxLtjA0uJmEJb/Vh+TJto=

Hi all,

I can't access the Coq website coq.inria.fr, but can ping. Is the Coq
website temporarily down?

Thanks.

-Ray

[Coq-Club] Coq website down?, Xuanrui Qi, 11/06/2018