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 4A57E5D5 for ; Tue, 4 Feb 2020 03:55:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,398,1574118000"; d="scan'208,217";a="434292931" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Feb 2020 04:54:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 84D997F3E6; Tue, 4 Feb 2020 04:54:56 +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 9E9967EC77 for ; Tue, 4 Feb 2020 04:54:46 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ANDpAjhOlM1b1VJ/uC6Yl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvjzrarrMEGX3/hxlliBBdydt6sYzbaG+P66ESxYuNDd6StEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQZjId4Jas8yRTFr3pWd+?= =?us-ascii?q?9LwW9kOU+fkwzz68ut8pNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfC?= =?us-ascii?q?TQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhz?= =?us-ascii?q?kBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNQVS3dcXsZKTyxOHJ+z?= =?us-ascii?q?b5cBAeoGOOZXtYj9p10Tphe6CgShAObjxzlVjXH0wKI6yfwsHg7G0gIuHNwArW?= =?us-ascii?q?rao8nuOagITey41rPFwSnfY/5U3zr29YjGcgomofGJRb99b8rRxlczFwjYiVuQ?= =?us-ascii?q?tJblPy+V1uUNrmOW6O9gVf+1i247qwFwoiKjydssiobXmoIY0V/E9SBjz4Y0Id?= =?us-ascii?q?20UlJ0YdmhEJZJsSyRKoV4QsQnQ25yuSY6zKULuZG6fCgWyJQn2gXQZ+aGc4iP?= =?us-ascii?q?+h7jW+eRISt4hHJ4Y72znQq98U+lyuD6S8K6005KozJbntXQsn0BzR/e58idRv?= =?us-ascii?q?dg/0qs2yyD2gDN5uxCPEs6j7DUK4Q7zb41jpcTsVrMHivxmEjuia+ZbEQk+uyx?= =?us-ascii?q?5+TjbLXqu4aQN4F0hw3gKKgulcu/AeM3MggKQWeX4/iz1Lrm/UHhQbVKiOM5kr?= =?us-ascii?q?XBvZzEOcgWorS1DgxV34o59hqyDjWr3M4YkHUZNF5FfQiIj4ntO1HAOvD4CvK/?= =?us-ascii?q?jkypkDd23fDGIr3hA5XXInffkLfuY6p95lVTyAo2199f5pZUBqsdL/L0X0/9rM?= =?us-ascii?q?bYAQMhMwyo3+bnD81w2Z8EVmKKBq+VKafSsV6T5uIzOOSMf48UuDPlK/c//fLu?= =?us-ascii?q?jHk5mUUcfaazx5cXZmq4TbxaJBCSaH/ox9MACntC6gE3SeivjFyZTRZSYWyzVu?= =?us-ascii?q?Qy/GdoJpihCNLoRo2xyJmcxju7D9UCY31cFlCdV3zoepmsVPIFaSbUKchkxG9X?= =?us-ascii?q?HYO9QpMsgEn9/DTxzKBqe7aFo3FKhdfYzNFwotbru1Qq7zUtVpaS1miMSyd/mW?= =?us-ascii?q?ZaH2ZnjpA6mlR0zxK46YY9hvVZEdJJ4PYQC1U1MJfdy6pxDNWgA1ucLOfMc06v?= =?us-ascii?q?R5CdOR90Tt81xIVTMUN0GtHnih6amiT3WfkakLuEAJFy+aXZjSD8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVggDX6The/zSnVdFlHgELHIF9gT4CA?= =?us-ascii?q?WYoRFQzKoQUgRyCXoQrhmiFZ4cQhQiDP4YRE4EQA1QJAQMBDAUeDAEBg3tFgjY?= =?us-ascii?q?cBwEEOAINAhABAQQBAQECAQIDBAFshTcMgjsMgxYiER0BGx4DEggBBzcCJAERA?= =?us-ascii?q?QUBIjWDBYJJAQMuD51jgh2BBD2LKIEVBQEXgwAFhEcKGScNZYEyAgEGEoEkAwE?= =?us-ascii?q?BjB2CGoFHhX8CgStngmOCXgSXfogujzYHgj6CToR4jnobeJoQl0iSTA8jgV0Lg?= =?us-ascii?q?VgzGiOBAYI7UBgNjh2Dc4JkiBAjMI8JAQE?= X-IPAS-Result: =?us-ascii?q?A0DVggDX6The/zSnVdFlHgELHIF9gT4CAWYoRFQzKoQUgRy?= =?us-ascii?q?CXoQrhmiFZ4cQhQiDP4YRE4EQA1QJAQMBDAUeDAEBg3tFgjYcBwEEOAINAhABA?= =?us-ascii?q?QQBAQECAQIDBAFshTcMgjsMgxYiER0BGx4DEggBBzcCJAERAQUBIjWDBYJJAQM?= =?us-ascii?q?uD51jgh2BBD2LKIEVBQEXgwAFhEcKGScNZYEyAgEGEoEkAwEBjB2CGoFHhX8Cg?= =?us-ascii?q?StngmOCXgSXfogujzYHgj6CToR4jnobeJoQl0iSTA8jgV0LgVgzGiOBAYI7UBg?= =?us-ascii?q?Njh2Dc4JkiBAjMI8JAQE?= X-IronPort-AV: E=Sophos;i="5.70,398,1574118000"; d="scan'208,217";a="337947421" X-MGA-submission: =?us-ascii?q?MDHSyD3YeDZ1rPJQm2pU9/ETRUL2aERUMmgC8e?= =?us-ascii?q?FC0Oyv7WDWX+AxJyYsg/KTIRzHouWN2ZKzqZ6kEmiqBpvJDiuBCLNMGk?= =?us-ascii?q?C/pCp1mYy5GV10aagz/AviF/XS+DoMHwKp2Nd8Pv8+b55qWz4fR/HXr8?= =?us-ascii?q?gknCAzqVOXweVv4bmU3EyaxA=3D=3D?= Received: from mail-lf1-f52.google.com ([209.85.167.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Feb 2020 04:54:33 +0100 Received: by mail-lf1-f52.google.com with SMTP id z26so11155810lfg.13 for ; Mon, 03 Feb 2020 19:54:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=mSvGu8O10nDH56sJoCCebqsb3fE8KsOu1EPEqOgAY3A=; b=M1hX7AU7OLE51kkeFMMkAMNNZ5q19QYe4aL4dWU5ZNinqVxsaAtg8F7V7614Yd9utt tBDj+c6WWNRdXHcfFdHTShOElNTB0TkZkFdpLcC2Xv3c1F27Dj0frtIY3GRpE4FfMjVk e1NaaFRStMRg7VoLd/LGvW9hJootOxPqXITTRPZiCe4Uo/Ugyefn5IBk38GbtsaawtGS ZPx9pNIYMaGxPBDxYG9oxhG5vOM8mjr6P0Yf93r7aIC/WJjDg8C8FahWQ6LoBSRQWj8i wstmSv35EF7JlPpV3fmtRd5JzN87Xt75cUaW4Hn1e5xi4C+rx705Cyhta/+mhWAwtwNm wppg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=mSvGu8O10nDH56sJoCCebqsb3fE8KsOu1EPEqOgAY3A=; b=cPCnetvY16cYerz4+L0nCPILLyTc5ER1OAbTWkCZ/m4T8wyaSvwFGCxEWdqtP7vc7Z xF5QLNJ6NiRyJcJCCoiAKUOFwU/Opt00Ys5ewO2YC524gaILi/gCi8OxosP8HKoZ8TKj WxTNfffWP/gf1WtYW/2QD0QnwsYu1h7uTavjtwh+FAkNi1I1IwGlCSGmLgC2lbumu4zs tNwzOVEd9woJz7Jtm0OPLPTU8MURmUyKK3dkUTkueI3sqeARoYdi8kUyMUiane2niC6U 4A8sSpTzdixiIa4jLCzW+YoFVStz9wp62vAaeAAn6GjYbbgfB4gLJanXJndJkO+bWpLN 0Ldg== X-Gm-Message-State: APjAAAXZPXX2Ia8hFd9FcaMPiH6G0/Llo4XkIjzLIlBVrElFAgTnM4U+ DuR8QeI6lQEnnmXiJ7HI31ycviYJZ/O1UURjv1020Wlz X-Google-Smtp-Source: APXvYqxJaW1Tz2yCxtNEbt4TSb8slgKSWFI1dwgdpgH9t03AGB+QtZfFLRSppKaYTH/hdQXqvszmmfcUcUY/YQ1fk5g= X-Received: by 2002:a05:6512:4c6:: with SMTP id w6mr13540314lfq.157.1580788455152; Mon, 03 Feb 2020 19:54:15 -0800 (PST) MIME-Version: 1.0 From: Chet Murthy Date: Mon, 3 Feb 2020 19:54:04 -0800 Message-ID: To: caml-list Content-Type: multipart/alternative; boundary="000000000000559db2059db7fe22" Subject: [Caml-list] Camlp5 7.11 compatible with Ocaml 4.10+beta2 Reply-To: Chet Murthy X-Loop: caml-list@inria.fr X-Sequence: 17981 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: --000000000000559db2059db7fe22 Content-Type: text/plain; charset="UTF-8" Dear OCaml and Camlp5 users, New release 7.11 of Camlp5. Compatible with all OCaml versions >= 4.00.0, latest OCaml version 4.10+beta2 included. Main improvement: compatible with 4.10's blank module names and generative functors. Home page, including downloading and documentation at: https://camlp5.github.io/ Enjoy! N.B. I'm new to helping out with camlp5, so might have made some mistakes; any users who find problems should contact me either directly, or (better) thru issues on https://github.com/camlp5/camlp5/releases and I'll be sure to get right on it. --000000000000559db2059db7fe22 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear OCaml and Camlp5 users,

New release 7.11 of Ca= mlp5. Compatible with all OCaml versions >=3D 4.00.0, latest OCaml versi= on 4.10+beta2 included.

Main improvement: compatible with 4.10's= blank module names and generative functors.

Home page, including do= wnloading and documentation at:
=C2=A0 https://camlp5.github.io/

Enjoy!

N.B= . I'm new to helping out with camlp5, so might have made some mistakes;= any users who find problems should=C2=A0contact me either directly, or (be= tter) thru issues on=C2=A0https://github.com/camlp5/camlp5/releases and I'll be sure to = get right on it.

--000000000000559db2059db7fe22--