From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 519DF7F30A for ; Fri, 1 Mar 2013 12:41:55 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of manu.delab@gmail.com) identity=pra; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manu.delab@gmail.com"; x-sender="manu.delab@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of manu.delab@gmail.com designates 74.125.82.170 as permitted sender) identity=mailfrom; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manu.delab@gmail.com"; x-sender="manu.delab@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f170.google.com) identity=helo; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="manu.delab@gmail.com"; x-sender="postmaster@mail-we0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusBAHyTMFFKfVKqgmdsb2JhbABFwyoIFg4BAQsJFBIGI4IWUAEbHgMSCAECBV0BEQEFARaIHwEDD6ALgnKMMoJ7hD8KGScNWYhiAQUMjyWDKgOWQ48JFimEQQ X-IPAS-Result: AusBAHyTMFFKfVKqgmdsb2JhbABFwyoIFg4BAQsJFBIGI4IWUAEbHgMSCAECBV0BEQEFARaIHwEDD6ALgnKMMoJ7hD8KGScNWYhiAQUMjyWDKgOWQ48JFimEQQ X-IronPort-AV: E=Sophos;i="4.84,761,1355094000"; d="scan'208";a="5022302" Received: from mail-we0-f170.google.com ([74.125.82.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Mar 2013 12:41:55 +0100 Received: by mail-we0-f170.google.com with SMTP id z53so2396584wey.15 for ; Fri, 01 Mar 2013 03:41:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:from:date:message-id:subject:to :content-type; bh=8gpZxMpkHm1Qq7EpfeDblXLVW0fr0uD+3NJhUaUqT4c=; b=XD4qS86eI7CJxpQ1YTBqB37rva483Uw+afNOTYbrUa2NqkM/qUHZ5IRpUMpTTTXDbz TNbYK5yrj5XMwhoRs1qhcgXGWykDUxjXm2cMtjNw56POTWgh4KbGCTeSGZ6nNa17Evwj qkDiUEuQBGiKMArbMSMzeYN9v4wG7+ZTbIrUIt6gNB7nmuLCLYNV9zdd7ZLOJ8+9oxEc 6pyEhN5BpilE8CZAirwSf47apF93v7tBDpACjpDhiwp5UzAF6h9A0nDBKaVl+y1c+8KX 74TmhGS/dZ9ANzoJPY2QlsD07ZFu+wHLdpg2UHZ/B6JEe2riM2MJ913/zq655zsUAR1y KCDg== X-Received: by 10.194.119.68 with SMTP id ks4mr17032777wjb.3.1362138114524; Fri, 01 Mar 2013 03:41:54 -0800 (PST) MIME-Version: 1.0 Received: by 10.194.104.104 with HTTP; Fri, 1 Mar 2013 03:41:14 -0800 (PST) From: manu delab Date: Sat, 2 Mar 2013 00:41:14 +1300 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e011821cc738c9504d6db7e39 Subject: [Caml-list] updating opam --089e011821cc738c9504d6db7e39 Content-Type: text/plain; charset=ISO-8859-1 Hello, Is there a way to update one's version of opam, without having to delete .opam folder (and having to recompile again compilers and packages) ? Thanks --089e011821cc738c9504d6db7e39 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,=A0

Is there a way to updat= e one's version of opam, without having to delete .opam folder (and hav= ing to recompile again compilers and packages) ?

=
Thanks

--089e011821cc738c9504d6db7e39--