coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] camlp5 soon on github and updated

From: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
To: caml-list AT inria.fr, coq-club AT inria.fr
Subject: [Coq-Club] camlp5 soon on github and updated
Date: Mon, 28 Nov 2016 15:27:58 +0100

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/

[Coq-Club] camlp5 soon on github and updated, Daniel de Rauglaudre, 11/28/2016