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 15CA75D5 for ; Sun, 2 Dec 2018 18:05:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,307,1539640800"; d="scan'208";a="358357491" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Dec 2018 19:05:10 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BCC5982564; Sun, 2 Dec 2018 19:05:10 +0100 (CET) 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 570A9824CF for ; Sun, 2 Dec 2018 19:05:04 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com IronPort-PHdr: =?us-ascii?q?9a23=3AmA+xPhzYK1bgnDnXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1O8SIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiC?= =?us-ascii?q?kJKSM3/mLYhcNska1UrgmspwBjz4POfI2ZKOBzcr3bcNgHRWRBRMFRVylZD42+?= =?us-ascii?q?cYQPCfcOPfxZr4n+ulADsBy+BQ6pBOjyzTJIhmH53asn3OQ7EAHG3xctH84JsH?= =?us-ascii?q?TMq9X1Nb0eUfiyzKnP1DXPde9Z2TD46IXRdB0qvP+CXbV1ccXLyEkvERvIgUiN?= =?us-ascii?q?qYzjITyZz/wNs3Kc7+piS+2gl3Inpxt2oji1ycchjJTCiIENyl3c9Ch0xJw5Kc?= =?us-ascii?q?C5RUN7e9KoDZVduzyAO4drTM4vTGdlszsgxLIco560Zi0KxYwnxxHBb/yHdJCF?= =?us-ascii?q?7Qj7VOaLIDd4gGhpeK64hxaq9kigy/fwVtGz0FZNtypJiMXDtncI1xDL68iHTO?= =?us-ascii?q?Vy/lu51DuO0w3f8PxILEE0mKbBNpIszKM8moAOvUnNESL6gED2g7WXdkUg9Oio?= =?us-ascii?q?8ePnYrD+q5+cKYB0jBzxMr4vmsy8Guk4Lg8OX3Cc+eS9zrHj5Ur5QLJTjvEsjq?= =?us-ascii?q?bZt5XaKdwBpqGlGw9Vzpoj6xGnAji6ytsYmH0HIEtBeBKGlIjpJ0rDIOv4DPe6?= =?us-ascii?q?m1Sjii1nx/HAPr37A5XCNGLPkLn7feU110kJwwM2yZVb5olIIrAHOvP6HEHr5/?= =?us-ascii?q?LCCRpsEwGyz/zmC51X0YQbETaPD6mVKqLRmUOP/uUuZfGLY5ZTszH4fat2r8Xy?= =?us-ascii?q?hGM0zAdONZKi2oEaPSjhT6ZWZn6BaH+pue8vVGIDvw4wVuvv0QPQTTlLYHf0R6?= =?us-ascii?q?U7/3cwD4f0Vd6fFLDou6SI2WKAJrMTfnpPUw7eDXDwcITCQ/ALcWSZJcozymVZ?= =?us-ascii?q?B4jkcJco0FSVjCG/y7djKbCOqCQAr5PnksRy/+rS0wk18iUyBMOYgTmA?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4BwDIHQRc/4aDpUVighmCaAVKIRKNF?= =?us-ascii?q?6Z4LAwBiBAGBjUFDAEDAQECAQEBAQFsHAyCNiKDJXs0HSWDQYIBoz2FQIRYBYw?= =?us-ascii?q?zgX+JcYUOAo8ufJAWCYIjjw4LGF9tAY9ZmksggVUzGggbFYMoixuFXSSBNQEBj?= =?us-ascii?q?C4BAQ?= X-IPAS-Result: =?us-ascii?q?A0A4BwDIHQRc/4aDpUVighmCaAVKIRKNF6Z4LAwBiBAGBjU?= =?us-ascii?q?FDAEDAQECAQEBAQFsHAyCNiKDJXs0HSWDQYIBoz2FQIRYBYwzgX+JcYUOAo8uf?= =?us-ascii?q?JAWCYIjjw4LGF9tAY9ZmksggVUzGggbFYMoixuFXSSBNQEBjC4BAQ?= X-IronPort-AV: E=Sophos;i="5.56,307,1539640800"; d="scan'208";a="287570947" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Dec 2018 19:05:03 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 570AFC438A; Sun, 2 Dec 2018 13:05:01 -0500 (EST) Date: Sun, 2 Dec 2018 13:05:01 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20181202180501.i2223eddsbwwjmk7@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: NeoMutt/20170113 (1.7.2) Subject: [Caml-list] dune has an infortunate tool name collision Reply-To: Hendrik Boom X-Loop: caml-list@inria.fr X-Sequence: 17203 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: dune is a new packaging tool for ocaml. Unfortunately, dune is also a Distributed and Unified Numerics Environment, used for splving partial differential equations: https://www.dune-project.org/ Should one of the names be changed? -- hendrik -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs