coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gabriel Scherer <gabriel.scherer AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Website files reorganized?
- Date: Fri, 25 Sep 2015 22:46:16 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer AT gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer AT gmail.com; spf=None smtp.helo=postmaster AT mail-ig0-f169.google.com
- Ironport-phdr: 9a23:H4BeQBS1NbVa9Bb3tG/CaSks/tpsv+yvbD5Q0YIujvd0So/mwa64YxON2/xhgRfzUJnB7Loc0qyN4/ymBDVLuc3JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uOOk4Q33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AbSy09lgdCS1zO6wi/VZPsuAP7sPB80W+UJ5ulY6ozXGGN5q1xSRLswBwMNzMj/Xuf3sN5hrharRbnvBd/zpTZeqmaMfN/euXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q=
This is a temporary maintenance problem with the coq.inria.fr website
(a NAS migration somewhere). Quoting Pierre Letouzey, it "should be
finished already, but seems to take more time than planned."
On Fri, Sep 25, 2015 at 10:36 PM, Tej Chajed
<tchajed AT mit.edu>
wrote:
> Several important pages on the Coq website are currently displaying "Page
> not found", including the v8.5beta2 reference manual
> (https://coq.inria.fr/distrib/V8.5beta2/refman/Reference-Manual009.html) and
> the OS X downloads (v8.4pl5,
> https://coq.inria.fr/distrib/V8.4pl5/files/coqide-8.4pl5.dmg, as well as
> v8.5beta2,
> https://coq.inria.fr/distrib/V8.5beta2/files/CoqIDE_8.5beta2.dmg).
>
> Did something change, perhaps some re-organization of /distrib?
- [Coq-Club] Website files reorganized?, Tej Chajed, 09/25/2015
- Re: [Coq-Club] Website files reorganized?, Gabriel Scherer, 09/25/2015
Archive powered by MHonArc 2.6.18.