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 9F5A65D5 for ; Fri, 1 Feb 2019 20:35:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,549,1539640800"; d="asc'?scan'208";a="367633071" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Feb 2019 21:35:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 768148258B; Fri, 1 Feb 2019 21:35:56 +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 8C3FD82581 for ; Fri, 1 Feb 2019 21:35:51 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lists@rj95.be; spf=Pass smtp.mailfrom=lists@rj95.be; spf=Pass smtp.helo=postmaster@mail4.protonmail.ch IronPort-PHdr: =?us-ascii?q?9a23=3AXZqK4xF8q3n/xCp1lbK6E51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ79o8iwAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOTAn/m/XkMx+kaFVrx29qBFkxo7YfJuYNOJicq/Bf94XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d5cBAe4cNutfq4n9pkAOrQelBQS3HuPvyDtFi3/s0aIhzessCAfL1xEjEdIWqH?= =?us-ascii?q?nYsdb4OacIXe230KXE1zrOY+9M1Tvj6oXFdA0qr+uWUrJqa8XRzFEiFwPbgVWU?= =?us-ascii?q?rozoJzaV2f4Ms2if4OdsT/qvi3QgqwFtpTivwMIshZPIhoIR0FzL6SV5zJ40Jd?= =?us-ascii?q?2+VkF7fcapHIZTuiyaLYd7QN8uT3tntSom0LEKp5y2cDAPyJs9xh7fb/KHc5KP?= =?us-ascii?q?4hLmTOuRJTZ4hGl5eLKknBuy60qgx+n8W8Wuy1lFsDJJksPQuXAVyxzT9s+HR+?= =?us-ascii?q?Nh8Ui73DaP0xnf6uVFIUAviarWMIUhw741lpoLq0vPBC72mEPsjK+XbEoo4Oao?= =?us-ascii?q?6/60Konh85SVMosxjgDlLowvnNa+CKI2KFs0UnCf6Ni7gYfBtRn9Qa5WldUskP?= =?us-ascii?q?iE9prXc5c1vKm8VjV3mtIn6g2jFB+80oVF23MKegEWMCmbhpTkbgmdaMvzCu2y?= =?us-ascii?q?1gz1wWVbgsveN7ikOa3ja33KkbPvZ7F4uhxGyltui9pStcsNVuMxZcnrU0q0j+?= =?us-ascii?q?T2SwcjOl3m2eS2VZN329FGAD/dMuqiKKrX9GSwyKcvLu2LPtZHvT/8L6Rj/+Tp?= =?us-ascii?q?kXg/nFYcee+i3clOZQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DWAgCmrFRchxsoRrljHQIFCAWBZgKDO?= =?us-ascii?q?TMnhAOBFpJ4nAQSCAWFBAGCehsGAQQ0EgEDAQECAQEBAQETAQEBCA0JCCkjDEI?= =?us-ascii?q?BDgGBaCKDGB0BATgdAQIuDgIEhBABggWoJHGBL4J3AQEFgjWEbgcIgm2FEoRBF?= =?us-ascii?q?4F/iXGCPBeCQKJbDggBhESNchmBXAGQY5t7gV2Bdx9OGIIFgSKCNoI2i3FCMIc?= =?us-ascii?q?yhWYBAQ?= X-IPAS-Result: =?us-ascii?q?A0DWAgCmrFRchxsoRrljHQIFCAWBZgKDOTMnhAOBFpJ4nAQ?= =?us-ascii?q?SCAWFBAGCehsGAQQ0EgEDAQECAQEBAQETAQEBCA0JCCkjDEIBDgGBaCKDGB0BA?= =?us-ascii?q?TgdAQIuDgIEhBABggWoJHGBL4J3AQEFgjWEbgcIgm2FEoRBF4F/iXGCPBeCQKJ?= =?us-ascii?q?bDggBhESNchmBXAGQY5t7gV2Bdx9OGIIFgSKCNoI2i3FCMIcyhWYBAQ?= X-IronPort-AV: E=Sophos;i="5.56,549,1539640800"; d="asc'?scan'208";a="367633051" Received: from mail4.protonmail.ch ([185.70.40.27]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Feb 2019 21:35:50 +0100 Date: Fri, 01 Feb 2019 20:35:44 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rj95.be; s=protonmail; t=1549053350; bh=VcXttMYjf+cq5PrGkhww1+G06qSrihZdRTjRxOXKTZk=; h=Date:To:From:Reply-To:Subject:Feedback-ID:From; b=FQH5u8pSFA3dBtY1CdC8N8lffpnuzQZ4wRVKim3lo2jwDpKbaHAfm0gqfmAFKflBg 9yL0fRYoZnELAxUJZgS9jw++7BCCr3VR6IjIQoEhS9m6FlQgsPc4MdNXN4vOJvmGLt Gu0TXiDL6LSpyWBk2RyplRd4KEC+GEqaAkTsz7OY= To: caml-list@inria.fr From: RJ Reply-To: RJ Message-ID: Feedback-ID: iib48-biuV8nQD3Ga0pFuCiQFO2tEQTkB_UIkhJIn98NUzO7dLeNYyIZepauvzXrEVMVDmCbYRLLjSs9ZvkNfg==:Ext:ProtonMail MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="b1_a96daee18ccac90fbf18b98073f831bf" X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.protonmail.ch Subject: [Caml-list] ML in OCaml X-Loop: caml-list@inria.fr X-Sequence: 17326 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: This is a multi-part message in MIME format. --b1_a96daee18ccac90fbf18b98073f831bf Content-Type: multipart/alternative; boundary="b2_a96daee18ccac90fbf18b98073f831bf" --b2_a96daee18ccac90fbf18b98073f831bf Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 V2hhdCBhcmUgeW91ciBwcmVmZXJlbmNlcyBoZXJlPwoKUi4KCi0tIApDYW1s LWxpc3QgbWFpbGluZyBsaXN0LiAgU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQg YW5kIGFyY2hpdmVzOgpodHRwczovL3N5bXBhLmlucmlhLmZyL3N5bXBhL2Fy Yy9jYW1sLWxpc3QgaHR0cHM6Ly9pbmJveC5vY2FtbC5vcmcvY2FtbC1saXN0 CkZvcnVtOiBodHRwczovL2Rpc2N1c3Mub2NhbWwub3JnLwpCdWcgcmVwb3J0 czogaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncw== --b2_a96daee18ccac90fbf18b98073f831bf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 V2hhdCBhcmUgeW91ciBwcmVmZXJlbmNlcyBoZXJlPyA8YnI+PGJyPjxicj5S Ljxicj48YnI+ --b2_a96daee18ccac90fbf18b98073f831bf-- --b1_a96daee18ccac90fbf18b98073f831bf Content-Type: application/pgp-keys; name="publickey - lists@rj95.be - 0x4CB26DA0.asc" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="publickey - lists@rj95.be - 0x4CB26DA0.asc" LS0tLS1CRUdJTiBQR1AgUFVCTElDIEtFWSBCTE9DSy0tLS0tClZlcnNpb246 IFBtY3J5cHRvIEdvbGFuZyAwLjAuMSAoZGRhY2ViZTApCkNvbW1lbnQ6IGh0 dHBzOi8vcHJvdG9ubWFpbC5jb20KCnhqTUVYRTM4Y2hZSkt3WUJCQUhhUnc4 QkFRZEFJYmhvVVRNTlpRcnRXaFpEaDVXZ21zUzI2T1lPcFdVdmNyTCsKa2lS TDZzSE5IeUpzYVhOMGMwQnlhamsxTG1KbElpQThiR2x6ZEhOQWNtbzVOUzVp WlQ3Q2R3UVFGZ29BSHdVQwpYRTM4Y2dZTENRY0lBd0lFRlFnS0FnTVdBZ0VD R1FFQ0d3TUNIZ0VBQ2drUVZsL3JMVFA3eVZtVUpRRUEyWDdQClk3dlk5bHQ4 cUl4OW5hckJsNk1nRm54YzlyUTc0SVNZcU5IWWxxRUEvM3RVRGVxR2N0Sjhk QUx4VEZNcThnY1AKZzdXMGF1ZkUwaHhHL3p1bzE2c0h6amdFWEUzOGNoSUtL d1lCQkFHWFZRRUZBUUVIUUNvdUtQN0NScTBJU3FvRwpXeFA2M3dsRDdwdWtU Tmo2TE9zRmxvM3JXR0F4QXdFSUI4SmhCQmdXQ0FBSkJRSmNUZnh5QWhzTUFB b0pFRlpmCjZ5MHorOGxaNnRvQStnTUtBOHRtTElKM1o2UlVkWVduQ3RxZ2gz dUVTd3VoTWFxeW5jRkQ0WUFWQVA5WTJVOU8KcHRLcC9NUVNlUDI0c3FXUlRM QUQzS1ZVM3dJZVRQSitBeUsxQmc9PQo9cUpPTgotLS0tLUVORCBQR1AgUFVC TElDIEtFWSBCTE9DSy0tLS0t --b1_a96daee18ccac90fbf18b98073f831bf--