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 02E1C5D4 for ; Sun, 7 Apr 2019 13:04:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377547318" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 15:04:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AD8F182688; Sun, 7 Apr 2019 15:04:36 +0200 (CEST) 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 6E7208249D for ; Sun, 7 Apr 2019 15:04:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay1-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3AARngRBYmPW0inI84AsxAVb//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8uzbnLW6fgltlLVR4KTs6sC17OP9fm5EjFeqdbZ6TZeKcQKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ/Jqor1xfFv3REdu?= =?us-ascii?q?RXyGh1IV6fgwvw6t2/8ZJ+7yhcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWHFMVdhNWSNfHoy8?= =?us-ascii?q?bpMPD+sfMuZes4n9vEYFoR+nCQWxGO/j1jpEi3nr1qM4zushCxnL0gIgEdwQs3?= =?us-ascii?q?rbrtv1OrodXu+pw6fH0C7Ob+9P2Trn9ITEbgwtrPOKULltccTR004vFwbdg1ue?= =?us-ascii?q?s4PlOTKV2foJs2eD8ud4SeSvim8jqwFwvzOiwdojhZPPhoIU1F/E8T91z50oJd?= =?us-ascii?q?KmTk56YNqkEJpLui6ELYt2WNktQ31puCYj170Jp4S3czQKyJk+wRPUdv+Jc5CQ?= =?us-ascii?q?7x79SeqcIy10iXB5dL6lmhq/8katxvfhWsSw3ltGtjdJn9vPu3wXyhDe7sqKRu?= =?us-ascii?q?Fj8kqvxzqDzR7f5v1FLE0yiKHVMYQuwqQqmZoWqUnDHjH5mEHxjKKObEUr5Oyo?= =?us-ascii?q?5P7nY7n7v5OTKpV4igTkPaQvnsyzG+s4PRIIX2eG+OSwzrvj8lPlQLlSj/02lL?= =?us-ascii?q?fWsIzCKMgFu6K0ARVZ34Q/5xqlEjur09oVkWMaIF9Bdh+Ll43pNEvPIPD8A/e/?= =?us-ascii?q?mVOskDJzyv/bJLLhBJTNIWbHkLv7Zrl99lBTyAwyzNBb5pJZEa8OIOjpWkDrqN?= =?us-ascii?q?zYDwY5MxGqzOr9FNp91psSWXiTDa+BLKPSrViI6/ozLOaWYY8VvC/xK/wk5/71?= =?us-ascii?q?kX80gkQdfKms3ZsPcn+0BPVmI0ODYXrtmNgNC2kKvhBtBNDt3X2PVTtOez6YRa?= =?us-ascii?q?s66jVzXIKrCYLeWsanmrWH0COTEZhGIGZLFgbfP23vctCoUvENZSalCFtngDgF?= =?us-ascii?q?HeytQokg2BXovhL3zahjL8LZ4DcRqZP6ydUz7O2FxkJ6ziB9E8nIizLFdGpzhG?= =?us-ascii?q?5dAmZuhPku83w48U+K1O1Du9IdENVS4/1TVQJjaczR1fZzF9HrRw+HddfbEQ/6?= =?us-ascii?q?EOXjOik4S5cK+/FLe1x0QonwgwrZ1jarGqIY0beLVsRtr/DsmkPpLsM48E7oka?= =?us-ascii?q?ksi158H5lVOGmvl/c6+07WDo/N1UqQkaqrM6IRwHyV+Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DeBgDr86lch8G3RtllH4F4gSuCUScKh?= =?us-ascii?q?ASMFaNzECyEQAKFUxoHAQQzBg0BAQMBAQkBAwEBARMBAQEIDQkIKS+COikBgmc?= =?us-ascii?q?GI1YQCxoCJgICRxAGE4MigV4DGapWgS+FRoNRgQ2BCyYBi0WCFoQjPoIagh0Ng?= =?us-ascii?q?wotgggiA4sMggeYcAcCgSmSdIF1AQ+SV4xskwyBZYF4gUCCbIIkjio+MoEHIYx?= =?us-ascii?q?5gSwBgR8BAQ?= X-IPAS-Result: =?us-ascii?q?A0DeBgDr86lch8G3RtllH4F4gSuCUScKhASMFaNzECyEQAK?= =?us-ascii?q?FUxoHAQQzBg0BAQMBAQkBAwEBARMBAQEIDQkIKS+COikBgmcGI1YQCxoCJgICR?= =?us-ascii?q?xAGE4MigV4DGapWgS+FRoNRgQ2BCyYBi0WCFoQjPoIagh0NgwotgggiA4sMgge?= =?us-ascii?q?YcAcCgSmSdIF1AQ+SV4xskwyBZYF4gUCCbIIkjio+MoEHIYx5gSwBgR8BAQ?= X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377547305" X-MGA-submission: =?us-ascii?q?MDFn2/YOq9nprstPCBCS4KeduI3BvTXRmZs9MR?= =?us-ascii?q?KCo2L4MIlmzYPETEIqZWJ8E/YJf5ww/KyvYt7gkyBi8GfcFEtv5lBNE7?= =?us-ascii?q?C0IDhMrZmIfLEXXVXpT2M1tK5/8LFyDrcJtgxSrCDTibU2367IW0jFVO?= =?us-ascii?q?4i66kVs9orYSw37XiPWAWUPA=3D=3D?= Received: from relay1-d.mail.gandi.net ([217.70.183.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Apr 2019 15:04:30 +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 relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 26B13240006; Sun, 7 Apr 2019 13:04:28 +0000 (UTC) Date: Sun, 7 Apr 2019 15:04:28 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Helmut Brandl Cc: caml users Message-ID: In-Reply-To: <22FB856A-EC64-4F51-AD01-774C254897A8@gmx.net> References: <646801F1-B9EB-44D7-A316-188CE0699894@gmx.net> <22FB856A-EC64-4F51-AD01-774C254897A8@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: 17465 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 14:37:44, Helmut Brandl (helmut.brandl=40gmx.net) wrot= e: =C2=A0 > I don=E2=80=99t understand this. Can you explain=3F =60opam update=60 fetches the latest package definitions from the opam re= pository. =60opam upgrade=60 upgrades your packages to their latest versi= on. Invoke the commands with =60--help=60 for more information.=C2=A0 I suspect you didn't have the definition for opam 1.4.0 before you =60opa= m update=60d.=C2=A0 Best,=C2=A0 D