From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.de_rauglaudre@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 BEC1B7EEF8
	for <caml-list@sympa.inria.fr>; Thu, 30 Jul 2015 19:47:00 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.15,577,1432591200"; 
   d="scan'208";a="172179856"
Received: from yquem.inria.fr ([128.93.8.37])
  by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jul 2015 19:47:00 +0200
Received: by yquem.inria.fr (Postfix, from userid 25991)
	id AD71DE19A3; Thu, 30 Jul 2015 19:47:00 +0200 (CEST)
Date: Thu, 30 Jul 2015 19:47:00 +0200
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml users <caml-list@inria.fr>, caml announce <caml-announce@inria.fr>
Message-ID: <20150730174700.GA968@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.14 compatible with OCaml 4.02.3 released

Hi,

Camlp5 6.14 released, compatible with all versions of OCaml up to 4.02.4.
Has been tested with coq v8.5.

Download sources at
  http://camlp5.gforge.inria.fr/

Thanks.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/