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 EABC87F72A for ; Wed, 10 Aug 2016 18:42:43 +0200 (CEST) IronPort-PHdr: 9a23:GuV3VBXpjbCYsjWBdEarbK/MQZrV8LGtZVwlr6E/grcLSJyIuqrYZhKGt8tkgFKBZ4jH8fUM07OQ6PG5HzRdqs/e+DBaKdoXBkdD0Z1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2asc272qiI9oHJZE0Q3XzmMOo0dEj99FqZ9pFPx9AzcuBpklqBi0ALUtwe/XlvK1OXkkS0zeaL17knzR5tvek8/dVLS6TwcvdwZ7VZCDM7LzJ9v5Wz5lGQBTeIs3AVV2FTlhtTHyDE6gv7V9H/qHjUrO14jQydPcTzQLx8eDu/4r1tTBbsgW9TNjEk/XuRg9Fsi4pUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEDyE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=iguer.auto@gmail.com; spf=Pass smtp.mailfrom=iguer.auto@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of iguer.auto@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of iguer.auto@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@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-wm0-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="postmaster@mail-wm0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BSAQDbV6tXfzVSfUpdhEVSomqBMwEBAQaJOY1Ehh0CgV88EAEBAQEBAQEBEQEBCQsLCRcxgjIWghcBBRIgAQUIARseAwwGBQs7IxEBBQEcEwgBAR6HdAEDFwSkIoEyPjKNJYJbBYZfChknDVSDbAEBAQcBAQEBGwIGEIVSgkCCVYUMhQ8BBJk8jxJmbwGHcQ6Fbow0gjgxgQ81hBtshyABAQE X-IPAS-Result: A0BSAQDbV6tXfzVSfUpdhEVSomqBMwEBAQaJOY1Ehh0CgV88EAEBAQEBAQEBEQEBCQsLCRcxgjIWghcBBRIgAQUIARseAwwGBQs7IxEBBQEcEwgBAR6HdAEDFwSkIoEyPjKNJYJbBYZfChknDVSDbAEBAQcBAQEBGwIGEIVSgkCCVYUMhQ8BBJk8jxJmbwGHcQ6Fbow0gjgxgQ81hBtshyABAQE X-IronPort-AV: E=Sophos;i="5.28,501,1464645600"; d="scan'208";a="229549402" Received: from mail-wm0-f53.google.com ([74.125.82.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Aug 2016 18:42:43 +0200 Received: by mail-wm0-f53.google.com with SMTP id o80so116213902wme.1 for ; Wed, 10 Aug 2016 09:42:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=j77YgXSyi8OuP7E6IlCjGzkZZ4fUDcxPZmzk76MRLKE=; b=g3i523KxoP4vtwhK8Aj3nMtoLs725iFIPyGApnKQ9syejpSsvH5jUX66II8hoNcMrv xXVM0YLzKUJZxl/nUc3SHShlppsKO4AYujhCrKCZeIoGsHvZCE/V5SKyWdIObA0ny9xi oXQFCtJsu73zBF25MHBjmdg7qnzNvs+jOiak3GiuNNnEcrr6cgi81o+Kasg+m5JX2buQ uT4eZfjp3SetScvELveY66qnVy5Tbn1Dh6K3zwm9NkVwX5xrcFmJU4wURy99CI5oT1mi kpaoJ9DxFccUQO62Q/ZkvUuuiFxSkXCx8V9Gen9Ie55izcDwL4gBr05ZYmungGAYdNdV RazQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=j77YgXSyi8OuP7E6IlCjGzkZZ4fUDcxPZmzk76MRLKE=; b=BsJcNcO4P4aqLmoqUcJN4/zUQhIq6tnLO3Y8XSu62qhcKwwpAz6rEPkQLoxns11PD/ NWqjvZrnEstxRz9rKwQSC11N61RV4amZyKR3UUw1hk1fWGVvObjW1QBtWJhLsgwI4TGv dXdMgVODHC2MG6hgJ3wKiLlmOuxSA/mFDaPJs0szi6YhpFAY4aDq8EW5HL4oBcN6LWIM aVw5Zi0d+Ni1y9OtWyUFOvXYYFJLFQTgP2GzgOYi36Uv5kvBoh2tC4hGFpm3tvaGQ4yh DB2TVG70BTf06DaeajMgBN9Kiz+G98erIIQ0fbRphcdKVKEZp7IQVxIHhvi1vw31iTab o07g== X-Gm-Message-State: AEkooutKYQ29aW/xGw7PXUxfb6GBqDcIqCh48U6QHM+h+95mqMWVH+M6nFJXgJKyXthdJg== X-Received: by 10.194.66.3 with SMTP id b3mr4963799wjt.119.1470847363116; Wed, 10 Aug 2016 09:42:43 -0700 (PDT) Received: from [192.168.1.61] (197.45.130.77.rev.sfr.net. [77.130.45.197]) by smtp.gmail.com with ESMTPSA id u72sm9217368wmf.5.2016.08.10.09.42.42 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 10 Aug 2016 09:42:42 -0700 (PDT) To: caml-list@inria.fr References: <3F86857B-79DC-4FCE-8727-691C23120C3F@inria.fr> <85ad2add-771f-5fae-b8be-b540b51a07f4@gmail.com> From: Mohamed Iguernlala Message-ID: <9abaa449-93fc-f02d-a192-db7f3ef3c2cd@gmail.com> Date: Wed, 10 Aug 2016 18:42:39 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: <85ad2add-771f-5fae-b8be-b540b51a07f4@gmail.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OCaml 4.04.0+beta1 Le 09/08/2016 à 18:06, Mohamed Iguernlala a écrit : > Should errors related to the installation of OPAM packages be reported > on mantis > as well ? For instance, "opam install lablgtk" (v. 2.18.4) succeeds on > 4.03.0 switch > but not on 4.04.0+beta1. The newly released version (v. 2.18.5) seems to fix the issue. Mohamed.