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 7CDA95D5 for ; Tue, 4 Dec 2018 08:39:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,313,1539640800"; d="scan'208";a="358632037" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Dec 2018 09:39:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 67A5C8253E; Tue, 4 Dec 2018 09:39:12 +0100 (CET) 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 7A63C82559 for ; Tue, 4 Dec 2018 09:39:00 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rudi.grinberg@gmail.com; spf=Pass smtp.mailfrom=rudi.grinberg@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AtIoWmRZuuyHnsY7UM1DIImn/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8u6bnLW6fgltlLVR4KTs6sC17KG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVyJPHJ6y?= =?us-ascii?q?YIkBD+QPPuhXoJXyqkASrReiHwSgGP/jxiNUinLwwKY00/4hEQbD3AE4A9wOrW?= =?us-ascii?q?nbrNToP6kTS+C1za/Iwi7dYPNM1jf29Y/Fcgo8of6RXLJ8a8XRyVMuFwPDlVqf?= =?us-ascii?q?t5blPzyO2+QCtmiU9etgVea1h2E7rAFxpyGiy8ExgYfHgYIVz0rL9SR/wIstON?= =?us-ascii?q?K4VUh7bsC9HJtIrSGaMIl2Td0+TGF0oio6zacGuZG9cSMXy5on3wbSZ+Kbf4WM?= =?us-ascii?q?+B7uV+acLS1miH57Zb6znRa//Va4xuD4WcS4yktGojdBn9XWt30A2Abf5taZRv?= =?us-ascii?q?Z740yvwyyA1xrJ5eFBOU00lbTUK5omwrMok5ocq0XDHivvlET4lq+aa1wo+uao?= =?us-ascii?q?5uj5eLnmqZicN4h7igH6LKsigNCwAeM9MgQWXmib//qz1KH78EHnXLlHiuc6n6?= =?us-ascii?q?rZvZzAO8gXuLO1DxVV34o98xq/Ci2p0NUcnXkJNlJFfxeHgpDzO1HTPf/4DO2z?= =?us-ascii?q?g1u2kDdqwfDJJaPuAo/CLnXYn7fheKxy609YyAYp0d9f4JdUBqkbIP3vQk/xqM?= =?us-ascii?q?DYDhghPgOo2ennDdF92poaWWKOGa+ZLLjfsUSI5+IqO+mDfpUZuDf7K/g/5v7h?= =?us-ascii?q?l2U1mVEHffrh4ZxCSH2+Eu5nIA2zZn3pyoMBHGEGpAs9ZPDtkFqDFyZUYG/0VK?= =?us-ascii?q?U5sHVzA4ujCcLHR5uxqL2HxiayWJNMNU5cDVXZK2rkds2rQfYKYi+ILYc1iCEI?= =?us-ascii?q?VP6uUY4n3xy0uyf1zrNmKqzf/ShO5sGr78R8++CGzUJ6zjdzFcnIljjVFzglzF?= =?us-ascii?q?NNfCc/2eVEmWI4z16C1aZihPkBTI5c4vpIVkExMpuOlrUmWeC3YRrIe5KycHjj?= =?us-ascii?q?Ws+vWGhjQdc4wttIaEF4SY3700LzmhGyCrpQrISlQZw59qWGgir0Lsd5jmncje?= =?us-ascii?q?wv0gNgTcxIOmmrwKV48lqLCg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B4AQDkOwZcfzTdVdFkHQEBBQEHBQGBZ?= =?us-ascii?q?YJqgSmYIIINihCETYpmCwEBHw2BS4J1AoNMGgcBBDQSAQMBAQIBAQEBARMBAQk?= =?us-ascii?q?LCwgnJQyCNiQBgmIBBAFAARseAwELBgUhJQ8BExEBBQEcBgESgyKBaAEDDQgEm?= =?us-ascii?q?FI8jBYJBQEXgncFhEMKGScNXYE3AgEFCQEIjAqBVz+DdS6KXAKJX4VRkEFVBwK?= =?us-ascii?q?CHwSPNIlbh0uJBI9HAgQCBAUCBQ8hgTyBdk0jUIJsghuDbYUUhT8/M4ECJhOKT?= =?us-ascii?q?wEB?= X-IPAS-Result: =?us-ascii?q?A0B4AQDkOwZcfzTdVdFkHQEBBQEHBQGBZYJqgSmYIIINihC?= =?us-ascii?q?ETYpmCwEBHw2BS4J1AoNMGgcBBDQSAQMBAQIBAQEBARMBAQkLCwgnJQyCNiQBg?= =?us-ascii?q?mIBBAFAARseAwELBgUhJQ8BExEBBQEcBgESgyKBaAEDDQgEmFI8jBYJBQEXgnc?= =?us-ascii?q?FhEMKGScNXYE3AgEFCQEIjAqBVz+DdS6KXAKJX4VRkEFVBwKCHwSPNIlbh0uJB?= =?us-ascii?q?I9HAgQCBAUCBQ8hgTyBdk0jUIJsghuDbYUUhT8/M4ECJhOKTwEB?= X-IronPort-AV: E=Sophos;i="5.56,313,1539640800"; d="scan'208";a="358631973" Received: from mail-wr1-f52.google.com ([209.85.221.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Dec 2018 09:38:59 +0100 Received: by mail-wr1-f52.google.com with SMTP id t27so14945445wra.6 for ; Tue, 04 Dec 2018 00:38:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:date:message-id:mime-version; bh=g3MqHGfky88q7IN0isidn46n2vsbiY5FppZLbRsK5w0=; b=T/vNKWmXHXn5GqCWxzY7yrSaccXR1tzy7KI+nu/jq792TRCar8QU279xpk9XL/Inmt h76/wQ/O4NaMG1EA8OCEXXdRQ0STx+YZVOw/dLBLpwNbAAlA/+a8TVnwLyDMFrPphc0s NgKFcZDR80EUPCfekYND3WcavnS1O90TCGMxEIYSTfMPOqXOdsUPZUpnFgRs59Rzz4m7 9iw7fP6eamknd4mVqlefJXgW7thcVVx5cGoSUfQ1vw7kHsJ3LW6MKKr47E9kIHeXuk90 ntg4aBWwwca3YF981ZFoSWHy3jHWRN0OlGcVvrs5GS0eVb6XI4CyNJWtX3z8wScMwVxj vA9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:in-reply-to:references:date :message-id:mime-version; bh=g3MqHGfky88q7IN0isidn46n2vsbiY5FppZLbRsK5w0=; b=YNY93PsqWQYf5ckBRgOf8wH0UjoLmiVnKm03znNEABT6CdeGA24gNiU6NQbNIOI6EY xw3ipzft4lO0tFIcAijjL95VxnBuLZqEvuMKlbiwbPeBanxzuk9+uWY9/SXiiZ/+Q7d7 lY0Vh4HmdjPQ31Bj+RiiZZRm01s/m4kLjVuJ0MnxxP9ltR2BWulobcB+/3NYTt10Hg2B DAZxfE4AtwqLm6g8PhKmcy5AbYZ/JQdLZiYMsRjouRRC2XhxpiOnH9A7pNggTQtG/dEE CkFMHuuXVd6NC+Tt2lJdhGmYZv6zCH5Gy7/AsNXVKeyUXd3dz3CSIl7tZVcNuopPcLel GaFQ== X-Gm-Message-State: AA+aEWYMUOy47tXWFZ6S4pnv5ma4mjjar7efYz2ElyaJ33WWkcyWO+Cg yZ7TJVInYy72UcfqoJCBg5AmhFaR X-Google-Smtp-Source: AFSGD/VTLAPpQCClMDKlmjCjHA+bwHOxPZyJ6gNBABCkajFqrVT5ZqnkLkORKqThRDh2poaz7jOndw== X-Received: by 2002:a5d:6450:: with SMTP id d16mr17299266wrw.64.1543912735585; Tue, 04 Dec 2018 00:38:55 -0800 (PST) Received: from localhost ([94.119.64.22]) by smtp.gmail.com with ESMTPSA id n15sm22245732wrt.21.2018.12.04.00.38.53 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 04 Dec 2018 00:38:54 -0800 (PST) From: Rudi Grinberg To: Hendrik Boom , caml-list@inria.fr In-Reply-To: <20181202180501.i2223eddsbwwjmk7@topoi.pooq.com> References: <20181202180501.i2223eddsbwwjmk7@topoi.pooq.com> Date: Tue, 04 Dec 2018 08:38:52 +0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] dune has an infortunate tool name collision Reply-To: Rudi Grinberg X-Loop: caml-list@inria.fr X-Sequence: 17209 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: Hendrik Boom writes: > 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? It's unlikely that dune will change its name again. As you might know, dune already renamed itself once (it was formerly known as jbuilder) and we aren't eager to make another such painful transition. We are still supporting the old name today for backwards compatibility for example. In any case, these naming collisions are inevitable in the software world and no new name guarantees that future collisions will not arise. -- 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