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 8F28D5D4 for ; Sun, 7 Apr 2019 12:37:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377546050" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 14:37:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7DDD18267D; Sun, 7 Apr 2019 14:37:53 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 04CA58249D for ; Sun, 7 Apr 2019 14:37:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net IronPort-PHdr: =?us-ascii?q?9a23=3Am6w/vRKLOHZOAJnY/NmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIvjxwZ3uMQTl6Ol3ixeRBMOHsqsC0rOd7vqoGTRZp8rY6DZaKN0EfiRGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6?= =?us-ascii?q?KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq9QajZF/JqosxRfEomVEcP?= =?us-ascii?q?lSyW90OF6fhRnx6tqs8JJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjD?= =?us-ascii?q?TQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnli?= =?us-ascii?q?EKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAe94RWGhPUdtLVyFZHoyz?= =?us-ascii?q?YJYBAeoDMuhWoIfzpFUOowW5CwS3GOPv0zpIimP23aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNf7O7kWUeCw0anI0SjIYu5M2Tjn7ojHbxQhquyLULJwb8XRzUwvFx7ZjlmK?= =?us-ascii?q?soPlJSma1uIQvGif9OdgWuevimE9pwF3vDev2t4hh4/UjYwW0lDJ7Tt1zJsrKd?= =?us-ascii?q?GiVkJ3f9ypHIFNuyyaLYd6X8AvT3l1tCs5zrAKo4O3cScIxZg9wxPTduaLfoaH?= =?us-ascii?q?7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSs1VZKqTdFksXWunAC0hzS5dKLSv?= =?us-ascii?q?1j8Ue9wTqP1gbT5f9YIU0si6bXNoAtzqQumpYNs0nPBDL6lUXsgKOLdUgo4u2o?= =?us-ascii?q?5P7mYrXiqJ+cLYh0igTmP6QuhMO/BeE4MhUSX2SB4uu8zqfs/UvkT7VOlfA2na?= =?us-ascii?q?zZsZ/AKcQduKG5HxdZ0pw/5BanEzemzNMYkGEbI11ffRKHi5HlO1XPIPDjEfey?= =?us-ascii?q?mE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYsr5dDLAMJMXZzknjsN?= =?us-ascii?q?2QWhMwNQ25x6DtFdh7xIcfcW+VGKaFMbrPvBmD5rR8DfOLYdo1tTL4NuRtzeTn?= =?us-ascii?q?i3M90QsdcK2swIdRYmqxGPhiC0qccTzqj8tXQjRChRY3UOG/0A7KajVUfXvnB/?= =?us-ascii?q?tttAF+M5qvCML4fq7ohbWA2CmhGZgHNG9DGhaKHGu6LtzYCcdJUzqbJ4paqhJB?= =?us-ascii?q?TaKoGt0u0AHosgLmmeI+c7jkvxYAvJem7+Bbou3ekRZrqW5xCNmBlW6IXydyk3?= =?us-ascii?q?9aHzI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIAAAE7qlchxIP49RlGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAQGBUwIBAQEBAQsBAYJ6TjInhA6MFYkyg12FbIVViSiBexArAYR?= =?us-ascii?q?AAoVTGgcBBDIHDQEBAwEBCQEDAQEBEwEBAQgNCQgpIwxCAQEBAwkCgWcigm4BA?= =?us-ascii?q?QEDASMdAQE3AQQLCxgCAiYCAlcGE4MigV0BAw0KAp8OiixxgS+CeQEBBYJGgWc?= =?us-ascii?q?BSgOCIQiBCyUBi0aBVz+BOB+CTD6CGoIqgwoxggQiilY5h1xgkjsHAoF2WQSRS?= =?us-ascii?q?oIFhhaDPYkEjGyPcYMbgVYMgXszGi5FKgGCQT6BTAwOCYglhhghM4EFAQGBeYY?= =?us-ascii?q?fh04BAQ?= X-IPAS-Result: =?us-ascii?q?A0BIAAAE7qlchxIP49RlGQEBAQEBAQEBAQEBAQcBAQEBAQG?= =?us-ascii?q?BUwIBAQEBAQsBAYJ6TjInhA6MFYkyg12FbIVViSiBexArAYRAAoVTGgcBBDIHD?= =?us-ascii?q?QEBAwEBCQEDAQEBEwEBAQgNCQgpIwxCAQEBAwkCgWcigm4BAQEDASMdAQE3AQQ?= =?us-ascii?q?LCxgCAiYCAlcGE4MigV0BAw0KAp8OiixxgS+CeQEBBYJGgWcBSgOCIQiBCyUBi?= =?us-ascii?q?0aBVz+BOB+CTD6CGoIqgwoxggQiilY5h1xgkjsHAoF2WQSRSoIFhhaDPYkEjGy?= =?us-ascii?q?PcYMbgVYMgXszGi5FKgGCQT6BTAwOCYglhhghM4EFAQGBeYYfh04BAQ?= X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="302070145" X-MGA-submission: =?us-ascii?q?MDE1tg6jPBOCZS/oYeH/mt7XCQuW+7r5mRyKcw?= =?us-ascii?q?wPw2zyJhpHE2L3r/YAvIfIrN8dSjaioXIouQFfd7g3ZR/Kc7JdV/UUYx?= =?us-ascii?q?pONf0CMg9rrWxDa7uME9gBO5ju9kLqsTJYFiNNzzv1Qv4RqBICurPKIR?= =?us-ascii?q?g39WqH5LGkZpyzvkuRg1+0oQ=3D=3D?= Received: from mout.gmx.net ([212.227.15.18]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 07 Apr 2019 14:37:49 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1554640668; bh=1HlS+B9TmMcFPQwfMYCcoNQBYYijyq01PvNJQMEWpsM=; h=X-UI-Sender-Class:Subject:From:In-Reply-To:Date:Cc:References:To; b=aZK/iahxeDszSP8xZRD+0WU+fsMGadKjqBDktFf+pL0ZHeVjnjqEeIGT4rlSK+IIn 2ix9jte/FPvyromXcC2joNpcx9UK5djNEuqf1F2TBAaUGFVfY4n8cHmtA3B0qcRkhc zULdCG8NVPfxO4db4muMjRm5HarQpwm1SY9DmZ+s= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.69] ([189.147.91.34]) by mail.gmx.com (mrgmx003 [212.227.17.190]) with ESMTPSA (Nemesis) id 0M9JYE-1h3iKr339C-00ClOo; Sun, 07 Apr 2019 14:37:48 +0200 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) From: Helmut Brandl In-Reply-To: Date: Sun, 7 Apr 2019 07:37:44 -0500 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <22FB856A-EC64-4F51-AD01-774C254897A8@gmx.net> References: <646801F1-B9EB-44D7-A316-188CE0699894@gmx.net> To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Mailer: Apple Mail (2.3445.102.3) X-Provags-ID: V03:K1:tjl4jdwcFVSdp4N6RVtbNTtZWQgxDnt2dzJoTX7aCW0ZrSk+7wz ulX75ZoRBAqHAMuvLxeU32wkLM9de2smdGEzgGoNOW1qhBc9GH80BniSw3OrgVObczrzUQt KUSM/MCLi6Ibpyws2xup1FLcdBzJALAUVR4+cJfnQ88MhYeHXU8STlJisSdpQ5gX2qbQQ+p 59sYul/C3eSgkeg+IOQwg== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:DW5U9E7u0yw=:WpCDYIoiU7R5QAfHbA8sIt kNEaryVRaU7vIXs5RSr79KV68hgavTaGtcwAjJ2KjKwU81pzpSVquJFwljn0YYX9xU4gonp7H 3FMqEixUGfmUG3EeFGDwv2QtMifNfjjN33+PLXDBnXvZNv8QNAwMBC6fxVxkEV05Uttro+h7r GzpemT5y+CWAJRZW7mf0lgllWQR9J3Bj7OcQs66K4LJb1C31I8Plt+qDtWQTmGtDO8wacM5nm s0Na/KEOJ1uDYfS8+vURXIS2lX7WryhL1p9xd36dZ96Eoe6Y0iAggtlG7/Ir3XhW+7F1iA6QN 76fIgLTFRaR8BPlf6koj1Jnlz19+Sa4Au+HVYjmAqvBhtqnkGUbDIb25BBRnyfSTiCohZprBc NcTWoLn4PqlYYOWP+4/44YcH8f8GNYUEVxmTd9v3dQLJ2EXT45+llms7S1g5pAaahbuPLRfoo leGQxQTwtJ/23Gfyt3r5r9igq4+57/Ovw9B/7YWgHUH6tc/I50zOYH7B8orvOdSu5jAD9q5vt dUORisJg/RXz+zMSWmRlcQc2f4YYxrAm4fpHNpnuG+3TU79EY9Hz3mBa3awKgOncQ5ld4lm2w Uhib7lpj32zixLT0jHoTRdZKE8Xdm/0942jMbCVhkSphNVM6uxLhr3g55xdzry4w48a53/it8 lrDOlOPLLUqq26QcFuNImLGdnFBxvToNYW0i+BAZvBqNQXLbt/Q5U0KwKdub9kPQ/U9J8tT6l MKNYdjTDIWKsqnepmXDYRt+qCeOYS2K4iiBj/R0AyVy9R+t+cbAeZYC0Qcm4mDqs1Dilf4OSP Ozrbvlc3ux/OBhl0zKZ/dV+zvTO6dolCDxkMA0Iouz1WCigVj2N6uHEmnt8oVjdRAMDJxjnyC UZv0AxDcV1r5i2k85Zy1zyZNOC6fv5lWk+AUk/IeyXzOploAmMGwH4vc/fqymxTHfgSEjTDWb Wb9gC4ZRouQ== Subject: Re: [Caml-list] dune and odoc Reply-To: Helmut Brandl X-Loop: caml-list@inria.fr X-Sequence: 17464 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: No. I did =E2=80=98opam upgrade=E2=80=99 after my failed trial to = install =E2=80=98odoc=E2=80=99 with all the downgrades. After `opam upgrade` I did `opam update` and I have tried another = `install odoc` and it succeeded. I don=E2=80=99t understand this. Can you explain? Regards Helmut > On Apr 7, 2019, at 01:41, Daniel B=C3=BCnzli = wrote: >=20 > On 7 April 2019 at 01:28:20, Helmut Brandl (helmut.brandl@gmx.net) = wrote: >=20 >> Thanks for any hint. >=20 > Did you `opam udpate` before installing `odoc` ? As far as I can see = odoc 1.4.0 has no upper constraints so it seems a bit strange to see = *downgrades* (unless those are in its recursive deps). >=20 > If that is the case could you please indicate which dependency is = problematic.=20 >=20 > Best, >=20 > Daniel >=20 >=20