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 7FCA75D5 for ; Sun, 6 Dec 2020 03:06:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,396,1599516000"; d="scan'208,217";a="481330073" 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 04:06:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 59968E02D4; Sun, 6 Dec 2020 04:06:42 +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 7F7ABE0130 for ; Sun, 6 Dec 2020 04:06:36 +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-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ABBkrAxVx6sLPlAKRVBM2MgX8KcfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBeFt8tkgFKBZ4jH8fUM07OQ7/m/HzVfuN3c6DgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrwjdrNQajIl/Jqo+yhbFvmZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhNww4DaboKbOudgcKzBZt4VX3ZNU9xLWiBdHo+x?= =?us-ascii?q?bY0CBPcBM+ZCqIn9okMDoxykCgm2GOPvyzlIjWL406Ik1OouDwXG3AgnH9kTt3?= =?us-ascii?q?nUqc/6NL0OUeC0yqnH0CvMb/ZI1jf57IjIdQssof6JXb1qcMrRzVMjGB/CjlWV?= =?us-ascii?q?sIHoOS6e2esRvWaB9eVgSf6vhHA9qwF3ujWj2MghhpTHiI8Xy13K+jl0zJs1KN?= =?us-ascii?q?O2SEN2fMKpHZ9Sui2EK4Z7RsMvTmB2tCg1xbALuYC3cicExZkpxhPRZOCKfo6V?= =?us-ascii?q?6RzgTOacOSl0iG5hdb6lhBu/8VKsxvPgWsS3ylpGsylInsXKu3sQzRLc8NKHRe?= =?us-ascii?q?F4/kq52TaAyQTT6uZcLEAxj6XbKpohzqc0lpoRrEjPByH2lFj1gaOKbEkk9e+o?= =?us-ascii?q?6+PoYrXiuJCQLZN7igb7Mqg2m8y/B/o3MhQWUmSF5eix0Kfv8E75TblQkPE6jq?= =?us-ascii?q?rUvIrHKckYuqK1GwpV3Zwi6xa7ATemytMYnXwfIVJAYh2HlZTpO1DIIP/lE/i/?= =?us-ascii?q?hkqjkDNvx/DBJbDhDZDNIWLCkLflZ7py90lcyA8rwdBF+51UEq0BIO70WkLpqN?= =?us-ascii?q?PXFBo5Mwitz+bjCdV9zZ8eVHmUAq6ZNaPSqUWH6vguI+mKfo8VuSzyJ+Ir5/70?= =?us-ascii?q?3jcFngoWdKytlYYMZWqjVqBtKkCdJH7tmcspEGEQvwN4Qva823OYVjsGQn+oQ6?= =?us-ascii?q?M6rh02LY+iCYCLEoWkmqCA2iu2G5BSYmduBVWFEHOufIKBDaRfIBmOK9Nsx2RX?= =?us-ascii?q?HYOqTJUsgEn36F3KjoF/J++RwRU28Ir53YEsteLWnBA2szdzCpbFijzffyRPhm?= =?us-ascii?q?oNAgQO8uV/rEh6kAnR1KF5h7lcF4UW6aoZCkE1MpnTy+E8ANf3CFqYL4W5DW2+?= =?us-ascii?q?S9DjOgkfC9c4wtsAeUF4QozwgRXK3i7sCLgQxeWG?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AUAgCFScxfhrTQVdFihk4zLoQ8gR6aN?= =?us-ascii?q?nmFKotmCwEDAQ0vBAEBhmECHQcBBDQTAhABAQUBAQECAQMDBAETAQEBDAsLCCm?= =?us-ascii?q?FaAyCNyKDECIRHQEbHgMSAwUBBzcCJAERAQUBIjWDBIJVAQMukRKMdoIdgQQ9i?= =?us-ascii?q?zSBFQUBF4MFBYRqChkoDWIDgTYCBxKBJoQaiScbgUE/gUeCNIhBgl8Eg06CJQe?= =?us-ascii?q?QSow6mz9SgiwEgRMLmhoioiy1KQ8jgUqBenCBAYI4UBkNjjuDV4p5IzA3AgYBC?= =?us-ascii?q?QEBAwmNDwEB?= X-IPAS-Result: =?us-ascii?q?A0AUAgCFScxfhrTQVdFihk4zLoQ8gR6aNnmFKotmCwEDAQ0?= =?us-ascii?q?vBAEBhmECHQcBBDQTAhABAQUBAQECAQMDBAETAQEBDAsLCCmFaAyCNyKDECIRH?= =?us-ascii?q?QEbHgMSAwUBBzcCJAERAQUBIjWDBIJVAQMukRKMdoIdgQQ9izSBFQUBF4MFBYR?= =?us-ascii?q?qChkoDWIDgTYCBxKBJoQaiScbgUE/gUeCNIhBgl8Eg06CJQeQSow6mz9SgiwEg?= =?us-ascii?q?RMLmhoioiy1KQ8jgUqBenCBAYI4UBkNjjuDV4p5IzA3AgYBCQEBAwmNDwEB?= X-IronPort-AV: E=Sophos;i="5.78,396,1599516000"; d="scan'208,217";a="481330053" X-MGA-submission: =?us-ascii?q?MDEjC+3qfvDgSBxFqywNG/R+yydiXDnfJrRs/v?= =?us-ascii?q?t8OEtb8pse3msbWexbf9gAXqBXZ8vLn4Nfkc9ZeVqGOc7YsFtGUCorpr?= =?us-ascii?q?m3Rr3d6d4G0PcuxwjZDXgpeGbEvxNnXwd0QoqCBSgTNCTh6xIcKf13Eg?= =?us-ascii?q?IMasFdD5wIVq2PSSijOFsLhA=3D=3D?= Received: from mail-lj1-f180.google.com ([209.85.208.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Dec 2020 04:06:35 +0100 Received: by mail-lj1-f180.google.com with SMTP id s11so2477659ljp.4 for ; Sat, 05 Dec 2020 19:06:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=9RcEQsjp2bZgqfvrFyUnzcjS65pTXr3vUrNNMFx37ag=; b=YLDScnajFvyOR2J+hs4wFhngKx1ZqwIwDkWW5DsosaBtTxj4FO+XNRuejDaWXvOOpg 5jyxrvkupM1pNOZg0jiNkQep2wR8HQ9m7FyDM6Hzz9Eq055GsRjTMnEWGzQgpR3OSlUt F3XN+/YwmQ9jMEYn2f8HvpaMZ/m+FYZncdrH1KzEIzibDrEas5O5ZRJvXAIIRWrd9/Qh ksobQaHdQXaB4mTKYpn6USlem4Zr52mvmklpQnzq2/lFyUVylwtLX8Goy8PYYELENUoZ kbk+y/LDQVsU7l+bW9kzNToon0a7kaUWXf0k8w7QznNiBba2pp3ZUyNww3SkjDSgR2gA PjNQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=9RcEQsjp2bZgqfvrFyUnzcjS65pTXr3vUrNNMFx37ag=; b=qJJJuZTcPI6zSW3FohRvw7B5wG+tr+OvEYaQlit8FZcxIQxW1VLVmwuNuLm3eTa3Um naj0vhn9MZDQCsWXKj+fEzX+JtHlPco/XYz8PnISZG14AV1qA1s8163tNFPd+0MMMj7p kjCasykRgcgbof39OVhezS5Pno47X1YpmLPAlCsb3dZ5q2+NkkiKOTT9nhljgsXdNaME jG7rj2jocVfdRzbhdJSIW3R+FJzqZXMeIkW1wAoYb9n0OcdwKV+bjB0EvBVd4gEpdzq6 myY6oYZL27N/ialtgTg/X9oew/4ZZPkZkbka+pZo5Tx37shg4sZN3f0f1l7oltLmFSnj oN4Q== X-Gm-Message-State: AOAM532QwB11dvAuq4Adf2QuANDQVcmpdhaypDmWzs5ZVZgw+o6RXAaW FSG2/+Fvy+gVzUpT9MeFl6nWxkn5FAKmLQK/98EzolhRAVA= X-Google-Smtp-Source: ABdhPJxwyBR86XLzg1x0ti65A1D8FR99ReVNrao+QlIWNhSw8PiZnkL9rud/2fLq2NpZSYuky3hVNZK49CF34OkSUtE= X-Received: by 2002:a2e:86d2:: with SMTP id n18mr5968385ljj.26.1607223994597; Sat, 05 Dec 2020 19:06:34 -0800 (PST) MIME-Version: 1.0 From: Martin DeMello Date: Sat, 5 Dec 2020 19:06:23 -0800 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="00000000000045c6d505b5c2ff66" Subject: [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: 18298 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: --00000000000045c6d505b5c2ff66 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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_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 --00000000000045c6d505b5c2ff66 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I tried to install drom via opam and got told that it= conflicted with core_kernel:

=C2=A0 =E2=8A=98 remove =C2=A0core_kernel =C2=A0 =C2=A0 = =C2=A0v0.14.1 =C2=A0 =C2=A0 =C2=A0 =C2=A0[conflicts with opam-file-format]<= br>=C2=A0 =E2=86=97 upgrade opam-file-format 2.1.0 to 2.1.1 [required by dr= om_lib]

but `opam show core_kernel` lists n= o dependency on opam-file-format`, and `opam show opam-file-format.2.1.1` j= ust says

=C2=A0 depends: =C2=A0 =C2=A0 =C2=A0"ocaml" "dune" {&g= t;=3D "2.0"} "alcotest" {with-test}
=C2=A0 conflicts= : =C2=A0 =C2=A0"core_kernel"

with= no indication as to why the conflict.

martin<= br>
--00000000000045c6d505b5c2ff66--