From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 64CCDBBAF for ; Mon, 20 Dec 2010 02:03:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgkCAMc6Dk3AbSoIe2dsb2JhbACDY5IzjhcVAQEWIgQgrFGPQA2BFIM1dAQ X-IronPort-AV: E=Sophos;i="4.60,198,1291590000"; d="scan'208";a="92881912" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Dec 2010 02:03:34 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178000030.adsl.alicedsl.de [85.178.0.30]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id oBK13XjX008072 for ; Mon, 20 Dec 2010 02:03:33 +0100 Received: by first (Postfix, from userid 1000) id AD008441532; Mon, 20 Dec 2010 02:03:32 +0100 (CET) Date: Mon, 20 Dec 2010 02:03:32 +0100 From: oliver@first.in-berlin.de To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-tutorial.org is down Message-ID: <20101220010332.GA8023@siouxsie> References: <20101220065055.839fdd7b.mle+ocaml@mega-nerd.com> <20101219234718.GA6086@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20101219234718.GA6086@annexia.org> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Spam: no; 0.00; in-berlin:01 ocaml:01 yup:01 20,:98 scare:98 scare:98 wrote:01 wrote:01 oliver:01 oliver:01 caml-list:01 rebuild:03 seems:03 tutorial:03 erik:04 On Sun, Dec 19, 2010 at 11:47:18PM +0000, 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. [...] Hmhhh what exim scare? An exploit? Why not just updateing the machine, or if no updates are available, just eremove exim?! Ciao, Oliver P.S.: No mirror available?