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 p0E3MiBc006328 for ; Fri, 14 Jan 2011 04:22:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmICAJ9QL03LOwFtkWdsb2JhbACWO44UFQEBAQEJCwoHEQMhvGeFTASOTA X-IronPort-AV: E=Sophos;i="4.60,321,1291590000"; d="scan'208";a="95243124" Received: from outbound.icp-qv1-irony-out6.iinet.net.au ([203.59.1.109]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Jan 2011 04:22:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskFAPVPL03Lzuai/2dsb2JhbACWO44Uc7xnhUwEjkw X-IronPort-AV: E=Sophos;i="4.60,321,1291564800"; d="scan'208";a="192190127" Received: from unknown (HELO hendrix.mega-nerd.net) ([203.206.230.162]) by outbound.icp-qv1-irony-out6.iinet.net.au with ESMTP; 14 Jan 2011 11:22:34 +0800 Received: from hendrix.mnn (hendrix.mnn [192.168.200.99]) by hendrix.mega-nerd.net (Postfix) with SMTP id 00D18106D36 for ; Fri, 14 Jan 2011 14:22:33 +1100 (EST) Date: Fri, 14 Jan 2011 14:22:33 +1100 From: Erik de Castro Lopo To: caml-list@inria.fr Message-Id: <20110114142233.0618879b.mle+ocaml@mega-nerd.com> In-Reply-To: <20101219234718.GA6086@annexia.org> References: <20101220065055.839fdd7b.mle+ocaml@mega-nerd.com> <20101219234718.GA6086@annexia.org> Reply-To: caml-list@inria.fr Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed 3.0.2 (GTK+ 2.20.1; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] ocaml-tutorial.org is down Richard W.M. Jones wrote: > On Mon, Dec 20, 2010 at 06:50:55AM +1100, Erik de Castro Lopo wrote: > > Hi all (and particularly Richard Jones), > > > > The Ocaml tutorial site seems to be down. > > Yup, sorry, we'll have it up in a few days. Because of the recent > exim scare I thought it wise to rebuild that machine. Richard, Any word on when that will be back? I'd like to point a colleague at it. Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/