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 5B24C5D5 for ; Mon, 7 Dec 2020 03:28:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,398,1599516000"; d="scan'208,217";a="481408329" 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 04:28:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 37F11E0362; Mon, 7 Dec 2020 04:28:14 +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 C81D0E0130 for ; Mon, 7 Dec 2020 04:28:09 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AdH7bEhyTg+bv9AbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2uoXIJqq85mqBkHD//Il1AaPAdyErasb0KGL7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhjexe65+IRe4oAnetsQbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLzli?= =?us-ascii?q?wJKyA2/33WisxojaJUvhShpwBkw4XJZI2ZLedycr/Bcd8fQ2dKQ8RfWDFbAo6k?= =?us-ascii?q?YIQPAegOM+ZWoYf+ulUAswexCBK2C+/z0DJFnGP60bE43uknDArI3BYgH9ULsH?= =?us-ascii?q?nMq9v6Lr0SUfy0zKnO0D7NYe1Z1zDj54jMdhAhpuyHULV1ccXL00kvCwLFjlON?= =?us-ascii?q?poP7OjOayOANs2yc7+d7WuKvjnQoqwB1ojS12sgsjYzJi5sTx1vZ+ip33Jw7Ks?= =?us-ascii?q?ekSE5nf9GkCp1QujmVOYV2Xs4sTWVltSc1x7AJt5C2fyYExIkkyhPCZPGKcoiF?= =?us-ascii?q?7x3jWeuMPTp1inZodb2hixuu80Wt1OPxW8a03VpXqCdOj9rCtmgV2hDN9sSKTu?= =?us-ascii?q?Fx80Sh1DqVyQzf9uJJLVopmafaL5MsxKM7mIAJvkTZBCD2nV37jK+IeUUg/eil?= =?us-ascii?q?8+Hnba/npp+YLoN0jgP+Prk3lsyxHOg1MwwDU3KU+eS7073j8kn5T6tQgvIqla?= =?us-ascii?q?nZtYjWJcUdpqGnHw9Yypgv5wq7Aju809kVnWMLIExZdB+ElYTlJlDDLfTgAfe6?= =?us-ascii?q?mVuskTNrx/7cPr3mB5XANn3Dn637fbZh6k5czhc8ws5a551KDrEBJPXzV1T+tN?= =?us-ascii?q?zdFBA5Mgi0z/z7B9V604MSQXiPDbOBMKPOrV+I4foiLPWWa48QvDbxMvwl5//1?= =?us-ascii?q?jX8lglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+H6TWjwisWDRJZn2/F4?= =?us-ascii?q?Yxrh82E5mvC5uLEo6kiqaA1yr9GpBhaG1dEVmKDV/vbYSLWvFJbCuYOYlqlTlS?= =?us-ascii?q?Bpa7TIp08Bi0qA78g5ZqC+fQ/ipQ4ZfqzsR04eHekBw28TtcAMGU0mXLRGZxyD?= =?us-ascii?q?BbDwQq1bxy9BQugmyI1rJ11rkBTYQKuqF5FzwiPJuZ9NRUTtD/XgWbIIWMQVei?= =?us-ascii?q?B9GkWHQ/F4xghdAJZEl5FpOpiRWRh3P2UY9QrKSCAdkPyoyZx2L4fp8vxHPP1a?= =?us-ascii?q?1nhF4jEJMWZD+Ww5Vn/g2WPLbn1kCQlqKkb6MZhXef+2KKzG7It0ZdAld9?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B8AQDmoM1ff6nQVdFiHQEBAQEJARIBB?= =?us-ascii?q?QUBgg+DdjMuhDyBHpANiimSCQsBAwENLwQBAYRKAoIVAh0HAQQ0EwIQAQEFAQE?= =?us-ascii?q?BAgEDAwQBEwEBDQsLCCeFagyCNykBgxEBAQEBAgESER0BGx0BAwELBgMCBAcNK?= =?us-ascii?q?gICIQEBEQEFARwGEyKFWQEDDiCQOI8TgQQ9ij52gRUFAReDBQWEdQoZKA1iA4E?= =?us-ascii?q?2AgcSgSaEGoknG4FBP4FHgjQuPoIbhTqCXwSDToIlB2+PW4w6mmhXUoIsgRcLl?= =?us-ascii?q?QGFGSKiLKFxkzgPI4FKgXpwUDGCOFAZDY4hDBeDTop5IzA3AgYBCQEBAwmNMgE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0B8AQDmoM1ff6nQVdFiHQEBAQEJARIBBQUBgg+DdjMuhDy?= =?us-ascii?q?BHpANiimSCQsBAwENLwQBAYRKAoIVAh0HAQQ0EwIQAQEFAQEBAgEDAwQBEwEBD?= =?us-ascii?q?QsLCCeFagyCNykBgxEBAQEBAgESER0BGx0BAwELBgMCBAcNKgICIQEBEQEFARw?= =?us-ascii?q?GEyKFWQEDDiCQOI8TgQQ9ij52gRUFAReDBQWEdQoZKA1iA4E2AgcSgSaEGoknG?= =?us-ascii?q?4FBP4FHgjQuPoIbhTqCXwSDToIlB2+PW4w6mmhXUoIsgRcLlQGFGSKiLKFxkzg?= =?us-ascii?q?PI4FKgXpwUDGCOFAZDY4hDBeDTop5IzA3AgYBCQEBAwmNMgEB?= X-IronPort-AV: E=Sophos;i="5.78,398,1599516000"; d="scan'208,217";a="481408305" X-MGA-submission: =?us-ascii?q?MDGSDrqcCkOL9Te0Rsnt0WZejWdoKsJUBN6OAi?= =?us-ascii?q?m4NgfLsMwiMOTPT/JxRl8+20QGwIFSh62i/bkh5GYKs6Ui9mTMzmF8x6?= =?us-ascii?q?Qtf3y1BeYAKl3hpPlldOtA0YiDjplCrYgSiFV8TjRIb7eO/XEQEFJjES?= =?us-ascii?q?aHhLpit9AP6E33dJbK2QaKtQ=3D=3D?= Received: from mail-lj1-f169.google.com ([209.85.208.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Dec 2020 04:27:59 +0100 Received: by mail-lj1-f169.google.com with SMTP id s9so13404791ljo.11 for ; Sun, 06 Dec 2020 19:27:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=3Q8lY4pC2UvjutOUcN9lbkPf3FQSNumZGbaAjc8ntDc=; b=Ae7OE3/8xS8vL9hjBJr8Wecb7sa0oidFj8aGwcMmUSJFt5mnZZX4ua8hplKrxU8+2v olXVRJGOWcQ97nPxmT86nk5FxufoXgBzMda8SBjoGZbb1LI99x4YT1aIHFTqQpqgeQwh 5Jii4K33nw+JrWtneXtjqZGH2JGY3+5aVsjNsNdFT8/0ipQpI8BoNs79q8VqHTmwJbSX 5A5mwZN0BoEfsApR+KAdg+rYKNnq4BW3Ec3rQqG7/uMB69wwChGcnb3yQ0HHn9ST71+r 7NPnso9/NO4KPc5Sd3QeaIZ94zZVoOBPvT4ZpdyjTo+Ncx8rQG/awi0h2LBiAiL08UkN oqVQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=3Q8lY4pC2UvjutOUcN9lbkPf3FQSNumZGbaAjc8ntDc=; b=OrgBF2zlHnmF9Vr4zhbAPpO/mXCLXOFUPbzsTia1t4kEeNJe6VAXNFR/djGjUW30ov buPh7h4lqY0yAflO/fIybp5I3i4/XonzQ8GwXB445cadRpVGVCie6ACrk4+kX2GDvsly HRxM9C5XIO8Kz58rCKcE4czpmSjAmgo9qMGlIg+32ImyVMACZjPW833W0H+vvECkYMB8 wKg6nNtPSyiFDwuZy52cvnkanSYIVGdvt8LZyCfPf9p/ex8lIxqhjjk5tOvV5kg1+/ar /2TM5YHK31rukR24JpoJE8F1w3tqaSFkY2spLiQAXOZdMzGfi6SRw7hJCOvSEVbXYN0D PWog== X-Gm-Message-State: AOAM530PsEShmZJrLRcxSyuNIQJAhWcTg6KQpUHbc3Do9CLqWu0TsK8v vDWAlBL1IRzaArN9l157AFqwlgEwzBrqcQh/kMGvpfKr X-Google-Smtp-Source: ABdhPJytdOJy+RShDoKAHf7PoxyZ6Qkm4CBY0BUN2Yb202PEuM+g57mu8FHz1H57YoTkgKRqlTmnCIxzOonTaq1eCPU= X-Received: by 2002:a2e:86d2:: with SMTP id n18mr7520965ljj.26.1607311678493; Sun, 06 Dec 2020 19:27:58 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Martin DeMello Date: Sun, 6 Dec 2020 19:27:46 -0800 Message-ID: To: Fabrice Le Fessant Cc: caml users Content-Type: multipart/alternative; boundary="000000000000a3da1005b5d769de" Subject: Re: [Caml-list] How do I get opam to show me why two packages conflict? Reply-To: Martin DeMello X-Loop: caml-list@inria.fr X-Sequence: 18301 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: --000000000000a3da1005b5d769de Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 either. 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 < fabrice.le_fessant@origin-labs.com> 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 > opam-file-format] > > =E2=86=97 upgrade opam-file-format 2.1.0 to 2.1.1 [required by drom_l= ib] > > > > 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 > --000000000000a3da1005b5d769de Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 `--dep= s-only'? That didn't work either. I'll wait for the fix David A= llsopp mentioned and try again.

martin

On Sun, Dec 6, 2020 at 1:41 AM Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com&g= t; wrote:
Hi Mar= tin,

=C2=A0 I have a 4.09.1 switch with both core_kernel.v0.14.1 and drom.0.2.0<= br> 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 <martindemello@gmail.com> wrote:<= br> >
> I tried to install drom via opam and got told that it conflicted with = core_kernel:
>
>=C2=A0 =C2=A0=E2=8A=98 remove=C2=A0 core_kernel=C2=A0 =C2=A0 =C2=A0 v0.= 14.1=C2=A0 =C2=A0 =C2=A0 =C2=A0 [conflicts with opam-file-format]
>=C2=A0 =C2=A0=E2=86=97 upgrade opam-file-format 2.1.0 to 2.1.1 [require= d 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
>
>=C2=A0 =C2=A0depends:=C2=A0 =C2=A0 =C2=A0 "ocaml" "dune&= quot; {>=3D "2.0"} "alcotest" {with-test}
>=C2=A0 =C2=A0conflicts:=C2=A0 =C2=A0 "core_kernel"
>
> with no indication as to why the conflict.
>
> martin
--000000000000a3da1005b5d769de--