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 85E125D4 for ; Sun, 7 Apr 2019 07:42:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,320,1549926000"; d="scan'208";a="377527539" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 09:42:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 345198268A; Sun, 7 Apr 2019 09:42:07 +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 92E278249D for ; Sun, 7 Apr 2019 09:42:02 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay8-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3A1Q2ocxb5DcItYnBXwL1Zb/7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs2/bnLW6fgltlLVR4KTs6sC17OP9fm4EjVaud7B6ClELMUUEUddyI?= =?us-ascii?q?0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUoHdgN6q2O+s5pbdfxtHhCanYbN1MR66sRjdutMZjId/N6o90AbFrmdHd+?= =?us-ascii?q?hL229kOU+YkxLg6sut5pJu/Dlct+47+8JcTan2erkzQKBFAjghL207/tDguwPZ?= =?us-ascii?q?TQuI6HscU2EWnQRNDgPY8hz0XYr/vzXjuOZl1yaUIcP5TbYvWTS/9KhrUwPniD?= =?us-ascii?q?0GNzEi7m7ajNF7gb9BrxKgoxx/xJPUYJ2QOfFjcK7RYc8WSGxcVctKSSdPHp2z?= =?us-ascii?q?YJcOD+oZPOZXsY/9p0cVrRCjAQWgHf7jxiNUinPz26AxzuYvHhzc3AE4EdwAsG?= =?us-ascii?q?raotb3O6ccTO66w7XHwzreYP5NxTf98ZLFfgw9rf2QX799d9fax0k1FwPCi1Wd?= =?us-ascii?q?sYLrMCmT1uQMrWeb6/JvWP+zk24hqgBxpjmvzdorh4bUnI0VzFHE+jt9wIovPt?= =?us-ascii?q?K4VVB0YdilEZtUtiGXLJV5Qtk4Q25ypCY6y6QGuYOlcyQQ1JsnxwfSZvqaeIaL?= =?us-ascii?q?+hLuTPidLSp6iX5/er+zmwy+/VWjx+DyTMW4zkpGojddntXRtH0A1Abf5tWDR/?= =?us-ascii?q?Z/5EutxziC2x7J5u1aPUw5lKzWIIM7zLEqjJocq0HDEzf2mEroiK+WcV0p+vK2?= =?us-ascii?q?5OTjeLrnppyRO5ZphQ3kN6QhgM2/AeAiPggBRWeb//mz1Lz58U3/XrpKkuU6kq?= =?us-ascii?q?jfsJ/EOcQWvrC1DxJX34o56RuzEy2q3MkbkHQJNl5JZg6Lg5XxN1HLOv/4DPO/?= =?us-ascii?q?g1q2kDdswvDLJqDuDY/LLnjCjrjheaxx5FVByAUty9Be5pZUCrAaLf3tQE/xrs?= =?us-ascii?q?bXDgM4Mwyt3uboFs9x2Z8eWW6XGK+WLLvSsUOU5uIoO+SDeJUauDP5K/Q84/7u?= =?us-ascii?q?jGQ5mUMGcKmy3ZoXbWi4Ee58L0WYZ3rsmNYBHn0QsgowVuy5wGGFBB5eY3OvQ+?= =?us-ascii?q?oW/Dg9BIbuWYfOQoWwnPqLxi69Epl+aWVWTFaBDSGsP46NXvNEdTmfONQpxjcN?= =?us-ascii?q?ULzkT446yTmvshX7wvxpNLyH1DcfsMfP3d506unkv4U05zh1R5CR2meMQmUylH?= =?us-ascii?q?4FQS0y3Yhyu1Z01laazKU+iPwORo8b3O9ATgpvbc2U9Od9Ed2nH1uZJo7YGmbj?= =?us-ascii?q?ec2vBHQKdvx0xtYPZ0hnHND70kLOxTCjH74MirHND5xmq/uAjUi0HN50zjP97I?= =?us-ascii?q?dkl0MvG5cdOHe8j7J+7hXeQYXJwR3AyvSaMJ8E1SuIz1+tiGqDuEYCDVxqXKHM?= =?us-ascii?q?TCBaag3TpNX9oEzLSbOvT7IqLlkZxA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CjBwCPqKlch8m3RtllH4V0JwqEBIwVi?= =?us-ascii?q?TKaQRAshEAChVMaBwEENBIBAQMBAQkBAwEBARMBAQEIDQkIKS+COikBgmcBBAE?= =?us-ascii?q?jWwsLGgImAgJHEAYBEoMigV4DDQypRYEvhUaDUYENgQsli0eBCYENhCM+ghqCK?= =?us-ascii?q?oMKLYIIIgONE5hwBwKBKZJ0gXUBD4YWjEGLU5QlgWaBd4FAgmyCFg4JjiE+MoE?= =?us-ascii?q?HIY4lAYEfAQE?= X-IPAS-Result: =?us-ascii?q?A0CjBwCPqKlch8m3RtllH4V0JwqEBIwViTKaQRAshEAChVM?= =?us-ascii?q?aBwEENBIBAQMBAQkBAwEBARMBAQEIDQkIKS+COikBgmcBBAEjWwsLGgImAgJHE?= =?us-ascii?q?AYBEoMigV4DDQypRYEvhUaDUYENgQsli0eBCYENhCM+ghqCKoMKLYIIIgONE5h?= =?us-ascii?q?wBwKBKZJ0gXUBD4YWjEGLU5QlgWaBd4FAgmyCFg4JjiE+MoEHIY4lAYEfAQE?= X-IronPort-AV: E=Sophos;i="5.60,320,1549926000"; d="scan'208";a="302058011" X-MGA-submission: =?us-ascii?q?MDECRHXze+6XFjeIhbhurOflNQUyqc7qzVRMNk?= =?us-ascii?q?nrwkoia7lKuDJ6UvyQoRCKYE0FM8T0ktYFey8a5c9PIKFLGLJbLBUQUP?= =?us-ascii?q?sEvmdUB9bs5BLZYAh+bkwft18z8cj8y9dGnmGYmLnB98iXahOYRPO53b?= =?us-ascii?q?tYDOHnF/2ePvmiyCi4r9Tv1w=3D=3D?= Received: from relay8-d.mail.gandi.net ([217.70.183.201]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Apr 2019 09:42:01 +0200 X-Originating-IP: 178.197.232.206 Received: from hehey.local.mail (206.232.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.232.206]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay8-d.mail.gandi.net (Postfix) with ESMTPSA id C65781BF204; Sun, 7 Apr 2019 07:42:00 +0000 (UTC) Date: Sun, 7 Apr 2019 09:41:59 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Helmut Brandl , caml users Message-ID: In-Reply-To: <646801F1-B9EB-44D7-A316-188CE0699894@gmx.net> References: <646801F1-B9EB-44D7-A316-188CE0699894@gmx.net> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] dune and odoc Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 17462 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: On 7 April 2019 at 01:28:20, Helmut Brandl (helmut.brandl=40gmx.net) wrot= e: > Thanks for any hint. Did you =60opam udpate=60 before installing =60odoc=60 =3F As far as I ca= n see odoc 1.4.0 has no upper constraints so it seems a bit strange to se= e *downgrades* (unless those are in its recursive deps). If that is the case could you please indicate which dependency is problem= atic.=C2=A0 Best, Daniel