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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E3DE4BC69 for ; Mon, 15 Oct 2007 16:46:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAGIYE0fUnw7Vlmdsb2JhbACCOIwOAQEBAQcEBhERBw X-IronPort-AV: E=Sophos;i="4.21,277,1188770400"; d="scan'208";a="3047148" Received: from ptb-relay02.plus.net ([212.159.14.213]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2007 16:46:01 +0200 Received: from [80.229.56.224] (helo=beast.local) by ptb-relay02.plus.net with esmtp (Exim) id 1IhRCj-0000oC-0Q for caml-list@yquem.inria.fr; Mon, 15 Oct 2007 15:46:01 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: OCaml website down? Date: Mon, 15 Oct 2007 15:37:43 +0100 User-Agent: KMail/1.9.7 References: <433C198F-2676-4808-A238-D179DA340008@rice.edu> <200710150920.44524.jon@ffconsultancy.com> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200710151537.43888.jon@ffconsultancy.com> X-Spam: no; 0.00; ocaml:01 apt-get:01 ocaml:01 apt-get:01 recompile:01 inria's:01 frog:98 wrote:01 binaries:01 binaries:01 caml-list:01 rebuild:03 install:05 depend:07 libraries:11 On Monday 15 October 2007 13:38:24 Sylvain Le Gall wrote: > 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. I did: sudo apt-get --build source ocaml having copied the new OCaml over the old sources. Same thing to rebuild all the libraries that depend upon the new OCaml. That isn't relevant, of course, because the OP specifically asked for binaries and he doesn't even have the new sources because INRIA's server's down again... :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e