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 8E5228005F; Mon, 28 Nov 2016 15:27:58 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.31,564,1473112800"; d="scan'208";a="202005065" Received: from yquem.paris.inria.fr (HELO yquem.inria.fr) ([128.93.101.33]) by mail3-relais-sop.national.inria.fr with ESMTP; 28 Nov 2016 15:27:58 +0100 Received: by yquem.inria.fr (Postfix, from userid 25991) id 44F8FE19F8; Mon, 28 Nov 2016 15:27:58 +0100 (CET) Date: Mon, 28 Nov 2016 15:27:58 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr, coq-club@inria.fr Message-ID: <20161128142758.GA29617@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 soon on github and updated Hi everybody! We are moving Camlp5 to github and updating it for the new version of OCaml. Soon available. Thank you for your patience. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/