From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7E5vO5K021685 for ; Sun, 14 Aug 2011 07:57:24 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiECABtjR07UGyoFkWdsb2JhbABAmHCPCBQBAQEBCQsLBxQDIoIBgTSITpRZnkeFaF8EmCyLXQ X-IronPort-AV: E=Sophos;i="4.67,369,1309730400"; d="scan'208";a="105422821" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Aug 2011 07:57:18 +0200 Received: from yeeloong (unknown [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with SMTP id 60AE0D4805A for ; Sun, 14 Aug 2011 07:57:07 +0200 (CEST) Received: by yeeloong (sSMTP sendmail emulation); Sun, 14 Aug 2011 07:56:29 +0200 Date: Sun, 14 Aug 2011 07:56:29 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20110814055629.GB32098@yeeloong.happyleptic.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] www.ocaml.org This name (resolved into 217.70.184.38) is still leading to the active-dvi project. Is it supposed to stay this way ? What's the new address to reach ocaml website, then ?