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 C62695D4 for ; Sat, 6 Apr 2019 23:28:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,318,1549926000"; d="scan'208";a="377508534" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 01:28:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 960EC822B9; Sun, 7 Apr 2019 01:28:33 +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 2064F822B9 for ; Sun, 7 Apr 2019 01:28:30 +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=3ALpYQQR2aSP6lZd4asmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0QIvad9pjvdHbS+e9qxAeQG9mCsrQd06GM6uigATVGvc/Z9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMq8Uam5ZuJro+xhfXv3dDZu?= =?us-ascii?q?BayX91KV6JkBvw+9u88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7bcNgHR2ROQ9xRWjRBDIyg?= =?us-ascii?q?YIUAAOQPM/tboYfjoFUDtge+BRCpBO/zyj9Emn370Ksn2OohCwHG2wkgEsoMvn?= =?us-ascii?q?vKqNX1MboSUfyox6TV1zXMdfVW1ir56IPVdR0hoe+DXbZ1ccrM1UkjDRjKjk+K?= =?us-ascii?q?pozjIjyV0v8As2ee7+tvT+6vjXAoqx1orzWp28wiiZHJi5oLxlzZ6yl12pg5Kc?= =?us-ascii?q?O6RUJhfNKpEoFcuz+HO4duX88vQGVltDwnxrAJu5O3ZiwHxIk9yxPRZPGKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8Vs6p0FZWtCZFndzMt38X2xzV9MeHVu?= =?us-ascii?q?Nx/kan2TmRywDe8v9ILV0qmabBNZIt3Lw9moAOvUnBBCP6hlj6gLeTdko+++io?= =?us-ascii?q?7+rnYq/hpp+ZL4J0ih/xMqArmsyiHeQ0KBMBX3KB9uS6ybLj+Vb0QLpPjvw5iK?= =?us-ascii?q?XZto7VJdgDqq6jHwBVypoj6wq4Dzq+zNsXh3wHLFZcdBKDjojpIE3OLevjDfa/?= =?us-ascii?q?hlSsiC1ky+rHPr3nGJXNL2LMnK3vfbZnuAZgz184xNVbr49PB6saaKb4U0r18d?= =?us-ascii?q?jZFQMRMgquwu+hBs8rha0EXmfaIqKdNb7O+XWS7+QjJ6HYZIIRvSvhbfI/7vji?= =?us-ascii?q?iVc2nE9be6S1i8hEIEukF+hrdh3KKUHnhc0MRD9T71gOCdfygVjHagZ9InO7Xq?= =?us-ascii?q?Yy/DY+WdCpCJeFQI2x0uXYgHWLW6ZOb2UDMWiiVG/yftTWVPIcLiSfPp05y2FW?= =?us-ascii?q?Zf2aU4YkkCqWmkr6xr5gd7aG/yoFqdTs0cgz4eDPx0k/?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DrigASNalchxUR49RlHQEBHwUBBgGBQ?= =?us-ascii?q?wcBAwEBgSeBUU4yJ4QOmSWFbIVViSmBehArAYoVGgcBBDYEDAEBAwEBCQEDAQE?= =?us-ascii?q?BEwEBAQgNCQgpIwxCAQEBAQEBAQEBAQUCgWcigxgdAQE4NAImAlMMgzWBXQEDF?= =?us-ascii?q?wKgWIoscYEvgnkBAQWCRoFoAUoDgiEIgQslAQEBAQEBAQGEV4ZogVc/gTgfilg?= =?us-ascii?q?xggQiiw+HXIY3jGQHAoF2WQSJTod8i1iJBJxdgxuBaQuBaTMaLkUqAYJBPoFmi?= =?us-ascii?q?C6GGSAzgQUBAYE6P4FKhFU4SoZMAQE?= X-IPAS-Result: =?us-ascii?q?A0DrigASNalchxUR49RlHQEBHwUBBgGBQwcBAwEBgSeBUU4?= =?us-ascii?q?yJ4QOmSWFbIVViSmBehArAYoVGgcBBDYEDAEBAwEBCQEDAQEBEwEBAQgNCQgpI?= =?us-ascii?q?wxCAQEBAQEBAQEBAQUCgWcigxgdAQE4NAImAlMMgzWBXQEDFwKgWIoscYEvgnk?= =?us-ascii?q?BAQWCRoFoAUoDgiEIgQslAQEBAQEBAQGEV4ZogVc/gTgfilgxggQiiw+HXIY3j?= =?us-ascii?q?GQHAoF2WQSJTod8i1iJBJxdgxuBaQuBaTMaLkUqAYJBPoFmiC6GGSAzgQUBAYE?= =?us-ascii?q?6P4FKhFU4SoZMAQE?= X-IronPort-AV: E=Sophos;i="5.60,318,1549926000"; d="scan'208";a="302041896" X-MGA-submission: =?us-ascii?q?MDE4tq53890TQ/oxaq/dbPltq47YYV7OV/+d21?= =?us-ascii?q?jN0HI180FndOT75IwSJlAQp4xS/Q2cv74SWrH6LJan4QWiqnVuEw2LER?= =?us-ascii?q?qt2RUY5f7F5zIAs+ZliikzU1BFGkdeU6PlN6Sx8gby+SPyU1ej9zIUoB?= =?us-ascii?q?AuDGqAd9EPFS1V8gkqBeCB2w=3D=3D?= Received: from mout.gmx.net ([212.227.17.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 07 Apr 2019 01:28:26 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1554593304; bh=ygBKwdHIxnCUADyAIdnhD5ZvPP5HjaWkVXq+DdfD3Og=; h=X-UI-Sender-Class:From:Date:Subject:To; b=BmIW8D3Lz21XGh2jzkM87V8cNkvg1FIY2pvqaPBhyEJhuLmg2oSd5m1S76EChy1Ap 7gztjF6su51+mIGWC75GLIizfE7AaVPfsDszV2Yf5HyAbQwXf+Rcn8u9m//32gtA9Y Jdt8CtTs7J9boklPkcsVFXsGkCcqpUPVzBjSr1R8= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.69] ([189.147.91.34]) by mail.gmx.com (mrgmx103 [212.227.17.168]) with ESMTPSA (Nemesis) id 0MAQMg-1h2R9Z4694-00BeHK; Sun, 07 Apr 2019 01:28:24 +0200 From: Helmut Brandl Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) Date: Sat, 6 Apr 2019 17:28:20 -0600 Message-Id: <646801F1-B9EB-44D7-A316-188CE0699894@gmx.net> To: caml users X-Mailer: Apple Mail (2.3445.102.3) X-Provags-ID: V03:K1:4tZsZpoSyLDnKSAKJ4L0ORMSI3yuMwB6PMLNUjr7pp3vdoZsMEQ sLmnJ9OlmzkStymgy2dQxxhQciWctzkqBcaVBnRNRSZfAxu9OHLrBOEvpC6aLfoySmKzyv4 GuOU9YiSyffhvoInDkux8nSclkyfmNQl5tCgKWZ60xOTv6w72lMwRLkD0IqbR+8S8NATMyj hBxD2uKijky+wbdyKeHDw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:ozyH0Dp6xx8=:iSSGZwmmR0dQnVl4iz4AX6 N2/FrhwsvMiO0Gs2a2L2a/FspBsle1sxtd2RD0sUaDgy9z+v6zslcwkK4mOtIS7gJWjtSekyG NBvU/ZDfC5KZeZSneqRrTCdk2KwHLMySrKvJC0Smzq5n8ANp2T9Yo9ze9xGXpLRaD/T3fxfZf vp1pWo/IcpqaSEn6JzXxIdhZex2YHG7RC4vvQb96LuSJwbDmFdA0nqjrcAftxImHourpNVkTq nfReu4WC7qi2g3UB947CEsixceeTBZxdkpcGy6CWgCjQVpswHQFV+gDC7XGLYVS/N/Y3PgDCR Y3dCb+1s0G7hBOUoD4+pPU2vqf72+nYdv/rMa8+owjFTeaa89ocjS02yNDaaBfb5WQM67O+5D CfNmmFejbpRkrV5ujv4cLVdwQitTtpoHqjtwgT44+3ah9n9HnGo1OySZi2wgPdZ2C3mwIqGPy h4evDAf99XrU+OLRlKL3zV8kDRrS/N00Qp+EzncuUkNeL2avRTrMQBalsyfYSwyJd7jwKq3jT O7g9YaqWEDPdHHaYjZviNfZGQQLUi0JNJA1WOe0PDHwIYxb0g9EZS3pjxZW5Ak4+pGLnOsXNw fJMepDMe2lEOYLw2fNGquATWJDgB9Zs8UOHZO4gkWOaUb6sjmI9CnQgQUnEjaa+2O5zfg7icf KOXbFrd0AhPMQIaXClaG+p8w4qEmhQb8UTlAxHBJrS8QiNfeQkEKdh382J+nad44ss0ZFAATj AEbnPdQ5roJVpQzWr+m/b9NHSmm6Rm7WU7zn1NEAB2vwv78JiR6nwl5bRVhafBvhnEIfJmsjt kNtQeyb3h8n7IzQFeumYeQGzaMzc9NK7pvjPcVoiQJ8CX70IMjw3KKbi8ypXLnexBN0NoeLLx I63jO6PA/ZY1FSfR+kLlCcpbWDHz+hENw732Pnz2G7D/1R7gvWI+TE5OS9HTk9lUTgnX1ABN/ wPEn82X3lRA== Subject: [Caml-list] dune and odoc Reply-To: Helmut Brandl X-Loop: caml-list@inria.fr X-Sequence: 17461 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: Hello list, I have learned that dune is the build manager which should be used for = ocaml packages. I am currently using ocamlbuild and tried to switch to = dune. In order to build documentation with dune I had to install odoc. So I = tried to install odoc via opam install odoc. However opam wanted to = downgrade a lot of packages in order to install odoc and finally screwed = up my installation. I could recover from this situation by opam upgrade. However I don=E2=80=99= t get a working installation with odoc. Isn=E2=80=99t there a version of = odoc which is compatible with other libraries in their current version? = If not I probably cannot use dune as a build manager. Thanks for any hint. Regards Helmut=