From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 918D57EE9C; Tue, 29 Nov 2016 12:19:06 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.31,568,1473112800"; d="scan'208";a="202134028" Received: from yquem.paris.inria.fr (HELO yquem.inria.fr) ([128.93.101.33]) by mail3-relais-sop.national.inria.fr with ESMTP; 29 Nov 2016 12:19:06 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id 363E4E1A4E; Tue, 29 Nov 2016 12:19:06 +0100 (CET) Date: Tue, 29 Nov 2016 12:19:06 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr, coq-club@inria.fr Message-ID: <20161129111906.GA13497@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] Camlp5 6.17 released (and moved to github) Hi everybody, Camlp5 6.17 compabible with latest version of OCaml has been released. Access for download at https://camlp5.github.io/ Note: Camlp5 is now accomodated by github. Please submit your bugs and feature requests as issues https://github.com/camlp5/camlp5/issues Pull requests are welcome. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/