From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 6A6ECBC69 for ; Mon, 15 Oct 2007 15:48:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAG8ME0fAXQImh2dsb2JhbACORgEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,277,1188770400"; d="scan'208";a="18027217" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2007 15:48:04 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9FDm1oL026108 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 15 Oct 2007 15:48:03 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKoME0fLENaMn2dsb2JhbACORgEBAQEHBAYJCBg X-IronPort-AV: E=Sophos;i="4.21,277,1188770400"; d="scan'208";a="3044494" Received: from ipmail01.adl2.internode.on.net ([203.16.214.140]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2007 15:48:02 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAH8LE0d5LCRs/2dsb2JhbAAM X-IronPort-AV: E=Sophos;i="4.21,277,1188743400"; d="scan'208";a="210838361" Received: from ppp121-44-36-108.lns10.syd7.internode.on.net (HELO [192.168.1.201]) ([121.44.36.108]) by ipmail01.adl2.internode.on.net with ESMTP; 15 Oct 2007 23:17:55 +0930 Subject: Re: [Caml-list] Re: OCaml website down? From: skaller To: Sylvain Le Gall Cc: caml-list@inria.fr In-Reply-To: References: <433C198F-2676-4808-A238-D179DA340008@rice.edu> <200710150920.44524.jon@ffconsultancy.com> Content-Type: text/plain Date: Mon, 15 Oct 2007 23:47:54 +1000 Message-Id: <1192456074.2750.5.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.12.0 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 47136F91.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 apt-get:01 ocaml:01 apt-get:01 recompile:01 2007,:98 ubuntu:98 sourceforge:01 wrote:01 wrote:01 binaries:01 stack:01 caml-list:01 caml:02 seems:03 On Mon, 2007-10-15 at 12:38 +0000, Sylvain Le Gall wrote: > On 15-10-2007, Jon Harrop wrote: > > On Sunday 14 October 2007 22:22:42 Raj Bandyopadhyay wrote: > >> caml.inria.fr seems to be down currently > > > > Again?! I don't know of any mirrors but maybe we should set one up. > > > > If you're using an environment with a repository like "apt" then you can do: > > > > sudo apt-get source ocaml > > > > of course... > > > > Why "apt-get SOURCE ocaml" ? > > I think for binaries only you can do a "apt-get install ocaml" which is > far more simple than to recompile everything. Hum, well, Ocaml is at 3.10 and Ubuntu is still running 3.09, and some of my stuff doesn't work so well with 3.09 for an unknown reason possibly related to stack management. [3.10 fixed a number of problems on non-Debian platforms] -- John Skaller Felix, successor to C++: http://felix.sf.net