From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 35B527EE35 for ; Sat, 26 Mar 2016 21:34:57 +0100 (CET) IronPort-PHdr: 9a23:aQ2sXBBMB8HSpTZbQGd4UyQJP3N1i/DPJgcQr6AfoPdwSP7/pMbcNUDSrc9gkEXOFd2CrakU26yM6eu5AjxIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6boodaKOFUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB1mIiIRLSyXJ8xD8FsP8vjT7sKl43GydNsTzSZg5RTO46KQtThL03nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=edwin+ml-ocaml@etorok.net; spf=Pass smtp.mailfrom=edwin+ml-ocaml@etorok.net; spf=None smtp.helo=postmaster@mail.etorok.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 62.210.252.135 as permitted sender) identity=mailfrom; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; 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.etorok.net) identity=helo; client-ip=62.210.252.135; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AqCQBc8fZW/4f80j5dgy5TfYJ3uW8dhWwCAgKBIjsRAQEBAQEBAQFjJ4ItghUBAQQMFw8BDRUjAgEOCQIYAgIFEwMLAgIJAwIBAgFFEwgCiCeTI5wwZ4RGjA0BBnyJZoQmYoI0glaXZo4GgVAWjSWGEIh7NiyBNgELgiU6MIcagTwBAQE X-IPAS-Result: A0AqCQBc8fZW/4f80j5dgy5TfYJ3uW8dhWwCAgKBIjsRAQEBAQEBAQFjJ4ItghUBAQQMFw8BDRUjAgEOCQIYAgIFEwMLAgIJAwIBAgFFEwgCiCeTI5wwZ4RGjA0BBnyJZoQmYoI0glaXZo4GgVAWjSWGEIh7NiyBNgELgiU6MIcagTwBAQE X-IronPort-AV: E=Sophos;i="5.24,396,1454972400"; d="scan'208";a="210422021" Received: from mail.etorok.net ([62.210.252.135]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Mar 2016 21:34:56 +0100 Received: by mail.etorok.net (OpenSMTPD) with ESMTP id a7008338 for ; Sat, 26 Mar 2016 20:34:56 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=simple; d=etorok.net; h=subject:to :references:from:message-id:date:mime-version:in-reply-to :content-type:content-transfer-encoding; s=ml; bh=1IyfwGGxEs3v7a s3QVeuKDeipf0=; b=YOOnsVcimliyGwCmJdkoGZ6CZee5Ax8tg3f8T/yILz0YT0 wwftRcODZ4qez9s/PcsFmf+kce+RnowTFsJ8wWsnCPok01pb7w7u04mySnBNr1Lc E9e531hHpdvqR4CYPeQwIZkr4W2rKqdpzRmwRm6kCWSOpP1DlLlGiFdLHuGyQ= DomainKey-Signature: a=rsa-sha1; c=simple; d=etorok.net; h=subject:to :references:from:message-id:date:mime-version:in-reply-to :content-type:content-transfer-encoding; q=dns; s=ml; b=Rf6PdDwe aRDN/mpKnGOCPk4oF7vCnO3dle8CHGfAWFnkZrjh+PNqbMiwawW5h2v3/9/lVvXz gB5iV7bckXj2xJsQNYkJtII21381mWXn7EbrLP64pqkR0yBFFk2v9y6SyAJ7aPZ8 MCO9fL8+i8C0jFQkSm3iR/ApdulILJthzL4= Received: by mail.etorok.net (OpenSMTPD) with ESMTPSA id aa5a300e TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO for ; Sat, 26 Mar 2016 20:34:56 +0000 (UTC) To: caml-list@inria.fr References: <56F66446.10707@linux-france.org> From: =?UTF-8?B?VMO2csO2ayBFZHdpbg==?= Message-ID: <56F6F26F.8030309@etorok.net> Date: Sat, 26 Mar 2016 22:34:55 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 MIME-Version: 1.0 In-Reply-To: <56F66446.10707@linux-france.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Issue after an opam update On 03/26/2016 12:28, David MENTRÉ wrote: > You should run "opam upgrade" to resolve the situation. When opam tells me to run 'opam upgrade' it ususally tells me to run it as 'opam upgrade --fixup'. That should fix (or give more details) on the situation. It requires to have an external solver (aspcud) installed, do you have it? Best regards, -- Edwin Török | Co-founder and Lead Developer Skylable open-source object storage: reliable, fast, secure http://www.skylable.com