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 c5ff346549e7 (Postfix) with ESMTPS id 26F715D5 for ; Sun, 6 Dec 2020 12:59:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,397,1599516000"; d="scan'208";a="481362546" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Dec 2020 13:59:19 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0CD24E027E; Sun, 6 Dec 2020 13:59:19 +0100 (CET) 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 B4A1EE0130 for ; Sun, 6 Dec 2020 13:59:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fabrice.le_fessant@origin-labs.com; spf=Pass smtp.mailfrom=fabrice.le_fessant@origin-labs.com; spf=None smtp.helo=postmaster@relay2-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3A85uzohUnDLQ+NI7Tq+J2CFZrQE/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRSGvqdThVPEFb/W9+hDw7KP9fy5BipZvszK7CxKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAfcutMLjYZgNKo9xRTEr3RVcO?= =?us-ascii?q?lK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXN?= =?us-ascii?q?QguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhD?= =?us-ascii?q?sbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4Wx?= =?us-ascii?q?ZJYNAeUcJ+ZVt4byp1UMohW+CweiB/7hxCFUiXH5xqA6z/0hHBva0AA8A94Dsn?= =?us-ascii?q?LZp8j1OqcIVuC1ybHFwzXZYPxNwzf96ZTHfQ48qv+KQ717bMrfxlc0FwPelFqQ?= =?us-ascii?q?r5DlNC6S2+QDqWeU9PBgVeOzhGE5sQ1xpiagyd8iiobXnYIV0UrL9SNlwIsuIt?= =?us-ascii?q?24Uk97YdGlEJtWri2aM5F5Tdg5Q21ypCk6zbgGtIe9cSMXx5sp2wTRZOabc4iU?= =?us-ascii?q?/B3jTuCRLC92in94ZL6yhRe//Emux+DhWce4zFZEoypEn9fDtH0Byh7e58uZR/?= =?us-ascii?q?Z540usxSqC2Q/N5uxZIk05lavWJZA8z7MxkJcYrErNHijzmErsja+WcF0p+uep?= =?us-ascii?q?6+T7YrXmu4STO5VohQH5N6QjnNG0D+cgMgUWQWSX5Oax2Kfh8EHlWrlGk/47n6?= =?us-ascii?q?fDvJzHIckWqba1DxFJ3osn8RqyDDer3M4GkXUbL19JYh2KgonvNlrTOv73F+2/?= =?us-ascii?q?jE6pkDpzx/DJILnhApLVI3jZjrjheaxy6k5CxAYq0N9T/ZdUBasAIPL3QEPxu8?= =?us-ascii?q?bXDhkkPAy12ernDsty1p8GVWKOBK+WLr/SvEeW6u4yIeSAfo0YtCrnJ/Q45PPj?= =?us-ascii?q?g2U1lUIZcKSmxZcXbWq3HvViI0WXe3rshdIBHH8EvgUkV+PqklyCXiJNaHqoW6?= =?us-ascii?q?Iz+Ck0CIy4AofYXYCimrqB3DugE51RfGBGC1+MEXbud4mdX/cDcjmdItR7njMY?= =?us-ascii?q?UrihTpct1Quyuw/i17pnMu3U9zUEup350dh14/TflRUz9TxvE8SQyHqNTmFxnm?= =?us-ascii?q?MQXTA6xqF/oUpnyleCy6d0mfJYFcYAr89OByszK5/Qh8V+D8v1QhqJKtuAVleq?= =?us-ascii?q?atyiBSo2VsoqhdkDfxAuNc+li0Xt1iCwArQY35iGTLI56bnV2WS5c8h0wWzH36?= =?us-ascii?q?Rni1QRTMZULmSgmoZ47QncBoiMl0yTjOChcqFKj32Fz3uK0Wfb5BIQawV3S6iQ?= =?us-ascii?q?GClHPhKL/+S83VvLSvqVMZpiMgZFzpTfeLFHbtT41xBKAvLqOdCYbGu3l2b2Ax?= =?us-ascii?q?uUlOvVMNjaPl4F1SCYM3Aq1hgJ9C/ZZw8kByigpSfaBTZ1U1noZhG0qLgsmDaA?= =?us-ascii?q?VkYxijqyQQhk3rux9AQSgKXDGfQJ370FvmIloj9vWl262oCPBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0COAgAC1Mxfh8K3RtliHQEBPAEFBQECA?= =?us-ascii?q?QkBFYFRgx1ZMS4KhDKRKAOKF5IbCwEDAQ0nBgIEAQGESgKCFQIdBwEENBMCEAE?= =?us-ascii?q?BBQEBAQIBAwMEARMBAQEBCw0JCCmFaAyCNykBgxEBAQEEEhFWDAQLCwYEAQEBA?= =?us-ascii?q?gImAgIhARIBBQEUCAYTIoMEAYJVAy4EC55rgQQ9ij52gTKIPg1igTwGgQ4qAYd?= =?us-ascii?q?uhVKCG4FHgjQuPoIbQgICgV2DF4JfBIJDgQssgRZLGAdCkAiCOKRqVweCd4kcj?= =?us-ascii?q?QeFGSKiLJ57gnaObYRLDyOBSoF6TSNQMQaCMlAXAg2OLQ4Jg06KWUEyAgE0AgY?= =?us-ascii?q?BCQEBAwl8ixsBgRABAQ?= X-IPAS-Result: =?us-ascii?q?A0COAgAC1Mxfh8K3RtliHQEBPAEFBQECAQkBFYFRgx1ZMS4?= =?us-ascii?q?KhDKRKAOKF5IbCwEDAQ0nBgIEAQGESgKCFQIdBwEENBMCEAEBBQEBAQIBAwMEA?= =?us-ascii?q?RMBAQEBCw0JCCmFaAyCNykBgxEBAQEEEhFWDAQLCwYEAQEBAgImAgIhARIBBQE?= =?us-ascii?q?UCAYTIoMEAYJVAy4EC55rgQQ9ij52gTKIPg1igTwGgQ4qAYduhVKCG4FHgjQuP?= =?us-ascii?q?oIbQgICgV2DF4JfBIJDgQssgRZLGAdCkAiCOKRqVweCd4kcjQeFGSKiLJ57gna?= =?us-ascii?q?ObYRLDyOBSoF6TSNQMQaCMlAXAg2OLQ4Jg06KWUEyAgE0AgYBCQEBAwl8ixsBg?= =?us-ascii?q?RABAQ?= X-IronPort-AV: E=Sophos;i="5.78,397,1599516000"; d="scan'208";a="481362524" X-MGA-submission: =?us-ascii?q?MDG0INkklG5zif4kYq1TzjMKlTxvUhSTsc7u3a?= =?us-ascii?q?sr4ZofZNHpIgJDTQ8g9BI3kfvn8RNb6kq0ZoaMPqLVtvSMDywQGB+2RA?= =?us-ascii?q?uhYNvKqBPFNBtxHRrJARKryj4c8b6ymSJ+TdabGuta/rbCWiCWNZwEKZ?= =?us-ascii?q?W9oT3jZ5OXREY554C3h9ralg=3D=3D?= Received: from relay2-d.mail.gandi.net ([217.70.183.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Dec 2020 13:59:13 +0100 X-Originating-IP: 209.85.208.46 Received: from mail-ed1-f46.google.com (mail-ed1-f46.google.com [209.85.208.46]) (Authenticated sender: fabrice.le_fessant@origin-labs.com) by relay2-d.mail.gandi.net (Postfix) with ESMTPSA id 5F5F740003 for ; Sun, 6 Dec 2020 12:59:13 +0000 (UTC) Received: by mail-ed1-f46.google.com with SMTP id l5so10709603edq.11 for ; Sun, 06 Dec 2020 04:59:13 -0800 (PST) X-Gm-Message-State: AOAM531XlwEZ9YbVZaC3dfiSexYhDkzHp9xQvQD/ntprenNO7XBDLv2T AW0vI4yNIdP/bBGMIJ50EwwnSHKAdBA5on4M/4o= X-Google-Smtp-Source: ABdhPJyEGY4y7pSJ1Aahtn0CEYhYErQzpPcNGFkOf4tlz/RkG3/JZuL4RACDdQxOxGipoMhA9LtaQijHd+RfqLLXKGI= X-Received: by 2002:a50:d8c8:: with SMTP id y8mr15363870edj.82.1607259552830; Sun, 06 Dec 2020 04:59:12 -0800 (PST) MIME-Version: 1.0 References: <6f4e51b5b5f34dcb83d4929737c96843@metastack.com> In-Reply-To: <6f4e51b5b5f34dcb83d4929737c96843@metastack.com> From: Fabrice Le Fessant Date: Sun, 6 Dec 2020 13:59:01 +0100 X-Gmail-Original-Message-ID: Message-ID: To: David Allsopp Cc: Martin DeMello , caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] How do I get opam to show me why two packages conflict? Reply-To: Fabrice Le Fessant X-Loop: caml-list@inria.fr X-Sequence: 18300 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Then, I don't understand the fix in the opam-repository: opam-file-format does conflict with core_kernel when they are included in the same executable, but not when they are just in the same switch. Conflicts in the opam-repository are for installation conflicts, not for linking conflicts, no ? On Sun, Dec 6, 2020 at 1:19 PM David Allsopp wrote: > > opam-file-format 2.1.1 conflicts core-kernel because of https://github.co= m/ocaml/opam-file-format/pull/34. 2.1.2 (which should be being released soo= n along with opam 2.1 beta4) will include that fix. > > It's not perhaps the greatest UI for it, but the reasons for such changes= can occasionally be clear from the git blame on opam-repository: https://g= ithub.com/ocaml/opam-repository/blame/master/packages/opam-file-format/opam= -file-format.2.1.1/opam#L13 > > The change in opam-repository was only merged yesterday. > > All best, > > > David > > > -----Original Message----- > > From: caml-list-request@inria.fr On Behalf= Of > > Fabrice Le Fessant > > Sent: 06 December 2020 09:41 > > To: Martin DeMello > > Cc: caml users > > Subject: Re: [Caml-list] How do I get opam to show me why two packages > > conflict? > > > > Hi Martin, > > > > I have a 4.09.1 switch with both core_kernel.v0.14.1 and drom.0.2.0 > > installed with no conflict. Did you try to install with dev-deps ? > > > > Best regards > > -- > > Fabrice > > > > On Sun, Dec 6, 2020 at 4:06 AM Martin DeMello > > wrote: > > > > > > I tried to install drom via opam and got told that it conflicted with > > core_kernel: > > > > > > =E2=8A=98 remove core_kernel v0.14.1 [conflicts with o= pam-file- > > format] > > > =E2=86=97 upgrade opam-file-format 2.1.0 to 2.1.1 [required by drom= _lib] > > > > > > but `opam show core_kernel` lists no dependency on opam-file-format`, > > > and `opam show opam-file-format.2.1.1` just says > > > > > > depends: "ocaml" "dune" {>=3D "2.0"} "alcotest" {with-test} > > > conflicts: "core_kernel" > > > > > > with no indication as to why the conflict. > > > > > > martin