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 3BCF97EE35 for ; Sun, 27 Mar 2016 03:14:51 +0200 (CEST) IronPort-PHdr: 9a23:pQGfBRDYJWocWiDyaityUyQJP3N1i/DPJgcQr6AfoPdwSP7/pMbcNUDSrc9gkEXOFd2CrakU26yM6eu5CDZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nh6boodaKMl8ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0kfjBtENC3oyi3A/9+lvi73sPZn1QGePMvrXfU6Qz2k5KotTwXn3nRUfwUl+X3a35QjxJlQpwis8kRy Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CKCABbM/dW/0AnF15dgy6ER7BDiTGGDQKBITsRAQEBAQEBAQFjJ0ESAYFZghUBAQQMFw8BRREJAhoCBRYLAgIJAwIBAgENOBMIAQGIJwGTI50XH4EFjxgqfIlmhQiCNIJWAQSXYRePPwEVh1GFVIYQiHs2LINnh36BQgEBAQ X-IPAS-Result: A0CKCABbM/dW/0AnF15dgy6ER7BDiTGGDQKBITsRAQEBAQEBAQFjJ0ESAYFZghUBAQQMFw8BRREJAhoCBRYLAgIJAwIBAgENOBMIAQGIJwGTI50XH4EFjxgqfIlmhQiCNIJWAQSXYRePPwEVh1GFVIYQiHs2LINnh36BQgEBAQ X-IronPort-AV: E=Sophos;i="5.24,398,1454972400"; d="scan'208";a="210446419" Received: from tempura.bentobako.org ([94.23.39.64]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 27 Mar 2016 03:14:50 +0200 Received: from [192.168.0.18] (114.196.8.109.rev.sfr.net [109.8.196.114]) by tempura.bentobako.org (Postfix) with ESMTPSA id 19B113214 for ; Sun, 27 Mar 2016 03:14:50 +0200 (CEST) To: caml-list@inria.fr References: <56F66446.10707@linux-france.org> <56F6F26F.8030309@etorok.net> From: =?UTF-8?Q?David_MENTR=c3=89?= Message-ID: <56F73409.6060502@linux-france.org> Date: Sun, 27 Mar 2016 03:14:49 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <56F6F26F.8030309@etorok.net> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Issue after an opam update Hello, Le 2016-03-26 21:34, Török Edwin a écrit : > 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? Thanks for the tip. I solved my issue by switching to latest stable OCaml release and re-installing my needed packages. Best regards, david