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 ESMTP id 9D3F75D5 for ; Mon, 7 Dec 2020 11:37:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,399,1599516000"; d="scan'208";a="481509587" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Dec 2020 12:37:17 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 12AC0E027E; Mon, 7 Dec 2020 12:37:17 +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 0E979E0130 for ; Mon, 7 Dec 2020 12:37:13 +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@relay5-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3Az3SOKxOKSi7tT5B6XMgl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/T6rarrMEGX3/hxlliBBdydt6sbzbOJ7+u6BCQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagY75+Ngi6oAfeu8UZn4dvKrs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?ocKTU37H/YhdBxjKJDoRKuuRp/w5LPYIqIMPZyZ77Rcc8GSWZEWMtaSi5PDZ6m?= =?us-ascii?q?b4YXAOUBM+RXoYnzqVUNsBWwGxWjCuz0xz9Un3/7x7E23/g9HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKocUfq6w7LSzTXCc/xZxyr25o7WfRs8of+DQ6lwcdHLxkkpCwPOk1Kd?= =?us-ascii?q?qYL/MDyOzOQNsnSU4PR6WeKrlWEosw9xrSa0xsc3kIbJgJ4Vx0vD9SVjwYY1Kt?= =?us-ascii?q?y4SEhibd6gCpRfrDqaO5FqTcMlRmFloSA3waAJtpCnZiYF0ognxwLBZPyddYiF?= =?us-ascii?q?+g/vWeiRLDl4i3xoZqyzihW8/EW8yuDxWMm63UpUoydBj9TAqmwA2h/S58WJRf?= =?us-ascii?q?Zw/Fqt1DeT2w7c5e9KLkA6mbfdJpU8wbAwjoIevVreEiL0gkn7jrOael859uWr?= =?us-ascii?q?5enreKjqq5ueOoNslA3yLqAjlta8DOk4KAQCQXWX9Oem2LDs8kD0RqhBgOcsna?= =?us-ascii?q?nDqp/aINwWpq6nDA9R1YYu8wy/ACmi0NsCnXgKLEtJdw+dg4jsIV7OIfT4Ae2w?= =?us-ascii?q?g1u2ljdk2vHGMqfnAprTMnjPiLbhfbBj5E5A0Ac/081T6pBOBrwDPP7/QFL9ud?= =?us-ascii?q?/WAxMjLgC5x+TqBM141owEWGKPBqGZMLnVsV+N/u8vLfODa5QPuDb8N/cq+eTi?= =?us-ascii?q?jXsnllAFc6mmw4AXaGuiEfRgP0WUen3sgs0AEWcFvwo+SvXmiFmYXjFIfHa+Rb?= =?us-ascii?q?4z5jY+CI6+F4fMWpitgKCd3Ce8BpBZenpJClWIEXvxc4WEWuwMaD6JL896kj0E?= =?us-ascii?q?UKChRJU72RGvsg/60btnIfDO9i0Wr5KwnORyssjajw0z83RYAuGQ12WKBzVxl3?= =?us-ascii?q?kURjk60aVypUh64liG2Kl8xfdfEIoAyelOV1IUPJTGzud3Q/T/EizMZcyATkru?= =?us-ascii?q?FtuvCyswRd93x9I5bUtmANykkjjExSulArlQk7WBH9o/9aeKjCu5HNp013uTjP?= =?us-ascii?q?pptFIhWMYacDT+3vcupTiWPJbAlgCir4jvcK0d2CDX82LakjiJpkBXUQg1VazP?= =?us-ascii?q?RjYUYU6E9I2ktHOHdKenDPEcCiUEycOGLfEXOMfkiVxXGbLvftHXYmb3lG62CR?= =?us-ascii?q?fOwL6QPtKzJzctmR7FAU1BqDg9uG6cPFFhVCC7om3fCnlqHFj0JUjr9LsmpQ?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAQDlEs5fh8W3RtligQmFRzEuCoQyk?= =?us-ascii?q?QUFIIoXkhsLAQMBDS0CBAEBhEoCghUCHQcBBDQTAhABAQUBAQECAQMDBAETAQE?= =?us-ascii?q?BAQ0LCQgphXSCNykBgxIBAQEDEhFWEAsLDQICJgICIQESAQUBHAYTCBqDBIJWA?= =?us-ascii?q?y4EnzuBBD2LNIEyiDMNYoFCgQ4qjUGCG4FHgjQuPoIbgiODF4JfBINOgiUHb49?= =?us-ascii?q?bpyJXB4J3liOFGSKiLKFxkzgPI4FKgXpNI1AxBoIyUBcCDY4tDgmOJ0EyNwIGA?= =?us-ascii?q?QkBAQMJfIpTAYEQAQE?= X-IPAS-Result: =?us-ascii?q?A0BwAQDlEs5fh8W3RtligQmFRzEuCoQykQUFIIoXkhsLAQM?= =?us-ascii?q?BDS0CBAEBhEoCghUCHQcBBDQTAhABAQUBAQECAQMDBAETAQEBAQ0LCQgphXSCN?= =?us-ascii?q?ykBgxIBAQEDEhFWEAsLDQICJgICIQESAQUBHAYTCBqDBIJWAy4EnzuBBD2LNIE?= =?us-ascii?q?yiDMNYoFCgQ4qjUGCG4FHgjQuPoIbgiODF4JfBINOgiUHb49bpyJXB4J3liOFG?= =?us-ascii?q?SKiLKFxkzgPI4FKgXpNI1AxBoIyUBcCDY4tDgmOJ0EyNwIGAQkBAQMJfIpTAYE?= =?us-ascii?q?QAQE?= X-IronPort-AV: E=Sophos;i="5.78,399,1599516000"; d="scan'208";a="481509549" X-MGA-submission: =?us-ascii?q?MDGydCZRgFIwSIuyfuqCu25yGOKEAH9sQXkhTa?= =?us-ascii?q?KfyW3MjB76iPIMbU605E00Ptm8R8hSE5xxzv56msGjgm8rUXu0Nt1WXM?= =?us-ascii?q?W70kx2MlLQfDfwDzIi9fHU1ll64HYkP7uckp+EAOoBUGpyZIHviV5Olc?= =?us-ascii?q?9WcKEfG0mXN1jEHKrdgtsKFA=3D=3D?= Received: from relay5-d.mail.gandi.net ([217.70.183.197]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Dec 2020 12:37:12 +0100 X-Originating-IP: 209.85.218.44 Received: from mail-ej1-f44.google.com (mail-ej1-f44.google.com [209.85.218.44]) (Authenticated sender: fabrice.le_fessant@origin-labs.com) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id EE1DA1C0007 for ; Mon, 7 Dec 2020 11:37:11 +0000 (UTC) Received: by mail-ej1-f44.google.com with SMTP id a16so19016035ejj.5 for ; Mon, 07 Dec 2020 03:37:11 -0800 (PST) X-Gm-Message-State: AOAM532mtwPpcbMI/l7ANql61qlR+dxVQGBA8fyJV3yhqzyjU3BpeEvF z4FTBM4cTt1lV6oBfT5nt7NfbDmIATrUqwZF4DM= X-Google-Smtp-Source: ABdhPJxn6RYJEU+Ig0O+ICF71SN5l9++O+c8GxP5rYvC1cOGX4d3HToM+0AE12FkOSU6UfhlmTrxmh0rEUqVLGzK9Zc= X-Received: by 2002:a17:906:c096:: with SMTP id f22mr18008029ejz.488.1607341031332; Mon, 07 Dec 2020 03:37:11 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Fabrice Le Fessant Date: Mon, 7 Dec 2020 12:37:00 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Martin DeMello Cc: 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: 18302 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: I have submitted `ez_opam_file` to opam-repository, a compatibility library for opam-file-format supporting all of its versions. Once it's accepted, I will submit the corresponding versions of `drom` and `opam-bin`, so they should be installable in any switch. -- Fabrice On Mon, Dec 7, 2020 at 4:28 AM Martin DeMello wro= te: > > I tried on both 4.09 and 4.11 and couldn't get it to work. Also I couldn'= t find a `--dev-deps` flag, did you mean `--deps-only'? That didn't work ei= ther. I'll wait for the fix David Allsopp mentioned and try again. > > martin > > On Sun, Dec 6, 2020 at 1:41 AM Fabrice Le Fessant wrote: >> >> 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 op= am-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