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 ESMTP id 3F6F45D4 for ; Sun, 7 Apr 2019 13:07:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377547576" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 15:06:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E337382689; Sun, 7 Apr 2019 15:06:59 +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 EDDAC8249D for ; Sun, 7 Apr 2019 15:06:46 +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@relay8-d.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3A9mN3lRX81anvYFxombmKBcLBqcfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBOOt8tkgFKBZ4jH8fUM07OQ7/m5HzVZqsve+DBaKdoQDkdD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrssxhfTv3dEZu?= =?us-ascii?q?tayGNqKFmOmxrw+tq88IRs/ihNp/4t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfD?= =?us-ascii?q?VwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0ki?= =?us-ascii?q?cHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ91cXDJdDIyi?= =?us-ascii?q?c4QPDvIBPedGoIn7u1sOtga1CQ21CO/y1jNEmnr60Ksn2OojDA7GxhQtEdwOvn?= =?us-ascii?q?rKr9v6NqkSX/26w6bUwjvMcuhb2Svk6IXSbhwtve2AULB2fMHMyUcvDQTFjlCI?= =?us-ascii?q?pILrJTyV0OUNvHaf7+V4SO+3l2gnqgB1ojiu28whjZTGiZgTylDF6yp5xJw5Ks?= =?us-ascii?q?alSEFlZ96lEZ9QtyCBOoRoWMMiWXtnuDo7yr0fpJ60YjIGx4gnxxPGbfGMbouG?= =?us-ascii?q?4gr7WeqPPDt1hmhpdbCjixqo7EStyePxWtOq3FpWsyZJisTAu3IO2hDJ98SKTv?= =?us-ascii?q?lw8l2/1TuByQzf8P9ILVw1mKfdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg84Oin?= =?us-ascii?q?9eDnba/mp5KfLoN7lxvyMqE0lcy+BeQ0KAcOUHKd+euh1b3v50v5T6tWjvEuk6?= =?us-ascii?q?nZto7VJdgDq6KnHgNY0Jwv5hSjAzu8zdgVnncKIEhbdB6bkoTlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM7L8GJrNKHnDn6nlfbpn8EFc1RQ8zdZe5pJQC7EMO+z8WlXrtN?= =?us-ascii?q?PCEh85MhW0w/v5B9lnyoweWXqDArWFP6PKrV+I+uUvLvGQa4APvTb9L+Ep5/rv?= =?us-ascii?q?jX8ihV8QZrKp3JsSaHCgBPtqOUSZYXz2gtcAC2gGpAQ+TPa5wGGFBB5eY3OvQ+?= =?us-ascii?q?oW/Dg9BIbuWYfOQoWwnPqLxi69Epl+aWVWTFaBDSG7WZ+DXqIgYSSTL8tWuKgC?= =?us-ascii?q?R7ygA9st3BevuQu8wadqKPjQ+wUVr4jqyNls+uCVnhFkpm88NNiUz2zYFzI8pW?= =?us-ascii?q?gPXTJjmfkn+RUsmGfG6rBxhrljLfIW4vpIVgkgMpuFk753Ecr7RgPYY9rPQ1b0?= =?us-ascii?q?G4z6UwF0dco4xpo1W2g4A8+r10yR0jCwCqMUjqGGQpc0oPqFgirBYv1lwnOD75?= =?us-ascii?q?EPylkrRswVaD+8i6p25liWC8jMmkSd0amjc6gdmijA6DXbwA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DvAQAO9alch8m3RtllHQIFCAWBZgKDe?= =?us-ascii?q?icKhASwCBAshEAChVMaBwEENQUMAQEDAQEJAQMBAQETAQEBCA0JCCkvgjopAYJ?= =?us-ascii?q?nBiNWEAsaAiYCAkcQBhODIoF6qlyBL4VGg1GBDYELJQGLRoIWhCM+hDcNgwqCN?= =?us-ascii?q?SIDiwyCB5hwBwKBKZJ0gXUBD5JXjGyTDIFngXaBQIJsgiSOKj4ygQchjHmBLAG?= =?us-ascii?q?BHwEB?= X-IPAS-Result: =?us-ascii?q?A0DvAQAO9alch8m3RtllHQIFCAWBZgKDeicKhASwCBAshEA?= =?us-ascii?q?ChVMaBwEENQUMAQEDAQEJAQMBAQETAQEBCA0JCCkvgjopAYJnBiNWEAsaAiYCA?= =?us-ascii?q?kcQBhODIoF6qlyBL4VGg1GBDYELJQGLRoIWhCM+hDcNgwqCNSIDiwyCB5hwBwK?= =?us-ascii?q?BKZJ0gXUBD5JXjGyTDIFngXaBQIJsgiSOKj4ygQchjHmBLAGBHwEB?= X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377547492" X-MGA-submission: =?us-ascii?q?MDGrEHF996iE+vHThWtKS9BqtLbEYuFmDKnMMY?= =?us-ascii?q?SkOZqmD//qf7zI03NPadtzgw2osKh974Vb6wY0Ak2fRGd8qC8bEhPkef?= =?us-ascii?q?VM16UyVVZSP759p6Bp+xFlucLyaNulbCeVoA+FU97mNDKhvrvJRkpPb4?= =?us-ascii?q?9HZ9Js0zGE+oPd+5QoF3J+Ig=3D=3D?= Received: from relay8-d.mail.gandi.net ([217.70.183.201]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Apr 2019 15:06:46 +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 EBA5A1BF204; Sun, 7 Apr 2019 13:06:44 +0000 (UTC) Date: Sun, 7 Apr 2019 15:06:44 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Helmut Brandl Cc: caml users Message-ID: In-Reply-To: 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: 17466 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 15:04:28, Daniel B=C3=BCnzli (daniel.buenzli=40erratiq= ue.ch) wrote: =C2=A0 > =60opam update=60 fetches the latest package definitions from the opam = repository. =60opam =20 > upgrade=60 upgrades your packages to their latest version.=C2=A0 Well re-reading this sentence I understand it might be confusing. =60opam= upgrade=60, upgrades packages to their latest version according to the d= efinitions you have *locally*.=C2=A0 D