coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Camlp5 6.17 released (and moved to github)

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 6.17 released (and moved to github)
Date: Tue, 29 Nov 2016 12:19:06 +0100

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/

[Coq-Club] Camlp5 6.17 released (and moved to github), Daniel de Rauglaudre, 11/29/2016