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 06AD05D4 for ; Tue, 30 Apr 2019 00:42:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,411,1549926000"; d="scan'208";a="380980892" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Apr 2019 02:41:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A53B7822B9; Tue, 30 Apr 2019 02:41:59 +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 0AB1D822B9 for ; Tue, 30 Apr 2019 02:39:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward501j.mail.yandex.net IronPort-PHdr: =?us-ascii?q?9a23=3AF7wEEhUuS392pfV2sCJRmv8AB9PV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyOt8tkgFKBZ4jH8fUM07OQ7/m5HzJbqs3f+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiroQnLt8Qbj4RuJ6gwxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM+ZGoYb/qVsAsBSxCw6iCu3sxTFHmmT73bE43ug9DQ3LxhAsEtAIvX?= =?us-ascii?q?/JrNv1LqASUeWtwaTUzTXCd+tW1inl6YPVbx0uv+mMXah1ccXLyUkkCgTIjkuT?= =?us-ascii?q?qYzjPjOYzeQMvHKd7+V9S+2uhHQrqxtsojW2wMonl4rHhpoNx13E7yl0z4Y4Kc?= =?us-ascii?q?elREN/YtOoCoVcuiGHO4duXM8tWX1ktDg/x7AHopG2fy0HxIgiyhLCcfOLbZWH?= =?us-ascii?q?7xfmWeuQLjp1gm9udqiliBao60egz/XxVsmq31ZOqSpIitfMtncX1x3d8MeHUO?= =?us-ascii?q?Zy80e91TqS1QDf8ORELlo1larfMZIgwqQ/lpwOvkvdES76gkP2g7GKdkk8++io?= =?us-ascii?q?7froYqn+q5KcLYN5hQHzPr4zlsG7Auk0KBYCUmiG9eik0b3s50z5QLFEjv0sla?= =?us-ascii?q?nZtYjXJdoYpq6/Ag9YyYYi5Ay5Dzi7ztsZkmMLLEhYeB6flYjmJ0nOIOzkDfe4?= =?us-ascii?q?m1mjjC1kx/XCPrH4BpXNL2PDkKv6cLZm609czRIzwspF65JVDLEBOvPzVVXruN?= =?us-ascii?q?zWFB9qezCzlsbqDtln14BWc2WIB+fNMK7UvUWJ5cozJPGLZckNvzHkbfMi4qi9?= =?us-ascii?q?o2U+nAo0fUCx0HJfQn2gBPFvIw3Nf3nqg/8QGGEGsxp4VvG82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zSN6bHtnx0ozE5z+yG9htXk4DEkqFSC66ZoyCV/ocLjiPcJc4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z709f7ja/TcHvIjviYAs5avWnBA2sy19CciQwyeLQn0mxj?= =?us-ascii?q?pZFQ9z57h2pAlG8nnG1KF5h/JCEtkKvqFYWwE2OI6a1fEoUt0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DyAQCJmMdch/vGLQVlHgEGBwaBZYE+U?= =?us-ascii?q?IFvKIYRnFwiaoRtixMSEC2EQAKGMhsHAQQ0EwEDAQEEAQECAQEBARMBAQEIDQk?= =?us-ascii?q?IKSMMgjopAYJnBhknAQE3AQ8LNRFXBoM1gWkBAx0DrhmCIIJ5AQEFhD8BSgOBH?= =?us-ascii?q?IEHCYEyhnWEVReBf4FXgh4uPoomkm45k1QJgguCJJAqgX0BkymhAoFmgXd/Bju?= =?us-ascii?q?CbIIPGolshD89MoEDJhOTBgEB?= X-IPAS-Result: =?us-ascii?q?A0DyAQCJmMdch/vGLQVlHgEGBwaBZYE+UIFvKIYRnFwiaoR?= =?us-ascii?q?tixMSEC2EQAKGMhsHAQQ0EwEDAQEEAQECAQEBARMBAQEIDQkIKSMMgjopAYJnB?= =?us-ascii?q?hknAQE3AQ8LNRFXBoM1gWkBAx0DrhmCIIJ5AQEFhD8BSgOBHIEHCYEyhnWEVRe?= =?us-ascii?q?Bf4FXgh4uPoomkm45k1QJgguCJJAqgX0BkymhAoFmgXd/BjuCbIIPGolshD89M?= =?us-ascii?q?oEDJhOTBgEB?= X-IronPort-AV: E=Sophos;i="5.60,411,1549926000"; d="scan'208";a="304384001" X-MGA-submission: =?us-ascii?q?MDHR2H+M4xtLTBEO8nEIzQ4K8GElkUzs0qB+eB?= =?us-ascii?q?DOiQXQwYg9So3ZethCltC9WlyYs4XmxR3F9kP2N5p24381AlkTVHoeMq?= =?us-ascii?q?92CcEjgESDoTSIqAeNx7g4koIewQxhh0Ap60X+7HByHekFGu8h+vEcE8?= =?us-ascii?q?drVI7sYTuDeB/Ln8vlea9FPQ=3D=3D?= Received: from forward501j.mail.yandex.net ([5.45.198.251]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Apr 2019 02:39:48 +0200 Received: from mxback13o.mail.yandex.net (mxback13o.mail.yandex.net [IPv6:2a02:6b8:0:1a2d::64]) by forward501j.mail.yandex.net (Yandex) with ESMTP id 1775D33800D0; Tue, 30 Apr 2019 03:39:47 +0300 (MSK) Received: from localhost (localhost [::1]) by mxback13o.mail.yandex.net (nwsmtp/Yandex) with ESMTP id 4KzY5Igy5a-dkC4evk4; Tue, 30 Apr 2019 03:39:46 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1556584786; bh=GV6tSPCeHS+9tDKA7eE3np7T8sp6tfscA9VS/ndg2fs=; h=Message-Id:Cc:Subject:In-Reply-To:Date:References:To:From; b=woYvG5rgaV1zXtAdy+lmGFARsuuo2ZxIZsF1jQDSSO/MAKcvoO8S1R4GaC/Og1HPl dZ1mx/wXZHHrxjUcrFarmMoTX1qsh6/i9Fk7D3EtdtQzu91vA/kGSc1Az9DRTxsm4Y tEh7sIzQIOG1RzTp2fAJhJunLuUHMF3IBrJihu7Q= Received: by iva1-f43333e9b952.qloud-c.yandex.net with HTTP; Tue, 30 Apr 2019 03:39:46 +0300 From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= To: Hendrik Boom Cc: caml-list@inria.fr In-Reply-To: <20190429235624.5acfp6vu5ywabtt4@topoi.pooq.com> References: <19282971556160768@sas1-87f9feb8d943.qloud-c.yandex.net> <20190425032103.ys4yaehjfs5iexbb@topoi.pooq.com> <20190429235624.5acfp6vu5ywabtt4@topoi.pooq.com> MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Tue, 30 Apr 2019 03:39:46 +0300 Message-Id: <5336771556584786@iva1-f43333e9b952.qloud-c.yandex.net> Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Validation-by: vkni@yandex.ru Subject: Re: [Caml-list] the preferred license for ppx Reply-To: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= X-Loop: caml-list@inria.fr X-Sequence: 17524 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: Thanks a lot, Hendrik and Jeremie!