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 727557F30A for ; Fri, 1 Mar 2013 12:46:43 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of raphlalou@gmail.com) identity=pra; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raphlalou@gmail.com"; x-sender="raphlalou@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of raphlalou@gmail.com designates 209.85.223.177 as permitted sender) identity=mailfrom; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raphlalou@gmail.com"; x-sender="raphlalou@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-ie0-f177.google.com) identity=helo; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raphlalou@gmail.com"; x-sender="postmaster@mail-ie0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au0AAJSUMFHRVd+xmGdsb2JhbABFhk+7ZHYIFg4BAQEBAQgJDQcUJ4IfAQEFIx0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTCId4AQMPon6LY0+Ce4RAChknDVmIYgEFDIEXixmCWAeCLYETA5RmgV2LU4M2FimEKw X-IPAS-Result: Au0AAJSUMFHRVd+xmGdsb2JhbABFhk+7ZHYIFg4BAQEBAQgJDQcUJ4IfAQEFIx0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTCId4AQMPon6LY0+Ce4RAChknDVmIYgEFDIEXixmCWAeCLYETA5RmgV2LU4M2FimEKw X-IronPort-AV: E=Sophos;i="4.84,761,1355094000"; d="scan'208";a="5023026" Received: from mail-ie0-f177.google.com ([209.85.223.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Mar 2013 12:46:42 +0100 Received: by mail-ie0-f177.google.com with SMTP id 16so3289777iea.8 for ; Fri, 01 Mar 2013 03:46:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=nH0JZip2llcMcoNKaKrx5+W1dJIPGdaAsgRpUVkq7w8=; b=g1bX0IZwpuUTLug/0O6ZKQuJetA3r48fTAiBYtVxSfYY2JeUCna6gBe9+v6KspBL60 83g/qFmlIWbxb5091t6k1OSBsb0381zTVMolQpG13bZTrTJ0jFCfKL736j0/LEIIgI0R kXLzKDZl7fTtt5X7kHwTuk2SEZGWCaqAcJKF5xOy3cZNiIOOAkaJsKMR6bJz6Iyr0AVE OzQ6Lj4hcDdCRtx4kzn/QHJeCifwEkqKr7Jh27Tj84f3Inq2A9NwahcN7Vhg7+Fl2SsB WtTnv6kVFZwPJ/TFurT1yye8MoCvkCvLe0N7jPh7GacQgRzj52SewS0s9dAsXbar5PLh RMeg== MIME-Version: 1.0 X-Received: by 10.50.186.134 with SMTP id fk6mr12779917igc.9.1362138401846; Fri, 01 Mar 2013 03:46:41 -0800 (PST) Received: by 10.42.18.9 with HTTP; Fri, 1 Mar 2013 03:46:41 -0800 (PST) In-Reply-To: References: Date: Fri, 1 Mar 2013 11:46:41 +0000 Message-ID: From: Raphael Proust To: manu delab Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] updating opam On Fri, Mar 1, 2013 at 11:41 AM, manu delab wrote: > 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) ? For all the updates I did, I simply updated the opam program (via Archlinux's AUR package). The new version of opam just used the old .opam directory transparently. Did you try not deleting your .opam? Does your opam binary live in your .opam? (And if so, you should consider moving it.) Did you experience any specific bug when not deleting .opam? Cheers, --=20 ______________ Rapha=C3=ABl Proust