coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Merlin Göttlinger <megoettlinger AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] [Coq-club] Website seems down
Date: Sat, 31 Mar 2018 12:20:48 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=megoettlinger AT gmail.com; spf=Pass smtp.mailfrom=megoettlinger AT gmail.com; spf=None smtp.helo=postmaster AT mail-it0-f49.google.com
Ironport-phdr: 9a23:bjCOAxV02K6h9JXBt8d63IP+GKPV8LGtZVwlr6E/grcLSJyIuqrYYxOCt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAe0fMuZCq4n9pl0OogO/CxGqGOPv1jtIhn7w3a01zeshCxzN0QslH90Qv3TUq8v6NLsOUeCxzanIyzrDYO1M2Trm54jIdwouofCIXb5qbcXRzkwvGhrDg16Np4LlODaV2f4Ms2id9+dgVOSvi3Qmqw5ruDSvyN0sh4/UjYwW0lDJ7Tt1zJoxKNGiS0N2YcSoHIVNuyyVLYd7TccvTmd1sygg0LIGo4S0fC0SxZQn2RHfb/uHfpCN4h35VeaRJS50hHN5eL6jnhqy/0etx+nmWsm711ZKqSVFkt3SuXwXyxPT7c2HRuN8/kenxzmPyxje5v9YLU0wj6bWKJ4szqQumpYOvknPBCD7lUHugK+TbEok++yo6+r9YrXho5+RL4p0hR/xMqQphMO/Hfg4MgwPX2id9uSzyqfj8Fb2QLVPlPI2k63ZvIrGKsQco661GxVV3Zo76xajEzem18wVkmUALFJcYR6Ik4zpO0zVL/3jFve+g1GskC9xyPzcP73hBI/NLnnZn7v7c7Z98R0U9A1mh9tY/tdfDqwLCPP1QE748tLCRFdtOAuthu3jFd9V14UEWGvJDLXPY43Itlrdw+81J+iKU6CLpCr5Kv4q6uSm2Xo0llgQYbWt3J0YZWqQEfFvIkHfan3p1IRSWVwWtxYzGbS5wGaJViReMi7rDvAMowojAYfjNr/tA4WkgbiPxiC+R8QEaWVPC1TKGnDtJdzdB6U8LRmKK8okqQQqEKC7QtZ4hx6rvQ7+jbFgK7iMo3BKhdfYzNFwotbru1Qy+DhzVZnP1miMSyR1gjtNSWNnmq94pkN5xxGI1q0q2/E=

Hi folks,

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

Cheers,

Merlin

[Coq-Club] [Coq-club] Website seems down, Merlin Göttlinger, 03/31/2018