* [Caml-list] Camlp5 6.14 compatible with OCaml 4.02.3 released
@ 2015-07-30 17:47 Daniel de Rauglaudre
0 siblings, 0 replies; only message in thread
From: Daniel de Rauglaudre @ 2015-07-30 17:47 UTC (permalink / raw)
To: caml users, caml announce
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/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-07-30 17:47 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-30 17:47 [Caml-list] Camlp5 6.14 compatible with OCaml 4.02.3 released Daniel de Rauglaudre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox