From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q193X21o031192
	for <caml-list@sympa-roc.inria.fr>; Thu, 9 Feb 2012 04:33:02 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmwEAJo9M0/RVdm2mGdsb2JhbABDjEyWZQECi2QIIgEBAQEBCAkNBxQnggsCLAEbHgMSCAECBV0BEQEFASI1oH+CXQqLcYJwhHo/iHMCBQuMFCEDAQEgAQEBAgGHewSIRIxpjh49hA8
X-IronPort-AV: E=Sophos;i="4.73,387,1325458800"; 
   d="scan'208";a="143483424"
Received: from mail-lpp01m020-f182.google.com ([209.85.217.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Feb 2012 04:32:51 +0100
Received: by lbbgj3 with SMTP id gj3so1103311lbb.27
        for <caml-list@inria.fr>; Wed, 08 Feb 2012 19:32:50 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=Zx7tdyr1d4ZCAWJmfsE+mTz4TEVaFiA2d2s6zumXXa4=;
        b=ue/F79NLtc7yzT8f1naMUn84YhTCN3atS+icTFEG2NSDVYvzuJJY0q2Fb2Vqm8UEOD
         0BSU6/pDWid1qzNxasasR+sy5PQSvDstWLx1AWuBmFavb1S2hxW27EBjcspM77ZBsI+N
         FpYrzrZ1DQEDDHo+wZA/PF8kSvGi4lw8KP/6A=
MIME-Version: 1.0
Received: by 10.112.54.36 with SMTP id g4mr23802lbp.19.1328758370637; Wed, 08
 Feb 2012 19:32:50 -0800 (PST)
Received: by 10.112.26.198 with HTTP; Wed, 8 Feb 2012 19:32:50 -0800 (PST)
Received: by 10.112.26.198 with HTTP; Wed, 8 Feb 2012 19:32:50 -0800 (PST)
Date: Thu, 9 Feb 2012 11:32:50 +0800
Message-ID: <CAAoLEWvE+XjN+0WqSD9Qg7RSfcujHYfyZWW+9KREmB8=Y4zLRg@mail.gmail.com>
From: Jun Furuse <jun.furuse@gmail.com>
To: caml-list <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=bcaec55401bcac991204b87faa9b
Subject: [Caml-list] OCamlCore.org is down?


--bcaec55401bcac991204b87faa9b
Content-Type: text/plain; charset=ISO-8859-1

Hi,

It seems the site and the oasis repo server are not responsive.

Regards,
J

--bcaec55401bcac991204b87faa9b
Content-Type: text/html; charset=ISO-8859-1

<p>Hi,</p>
<p>It seems the site and the oasis repo server are not responsive.</p>
<p>Regards,<br>
J<br>
</p>

--bcaec55401bcac991204b87faa9b--