Camlp5 and OCaml 4.08

Armael June 26, 2019, 8:24am 4

As far as I know, starting from Coq 8.10 (the next upcoming version), Coq will not depend on camlp5 anymore.

2 Likes

Topic		Replies	Views
Is anybody maintaining ulex-camlp5 ? using ulex-camlp5? Ecosystem	5	449	April 6, 2023
The end of Camlp4 Community announce , ppx	95	9000	May 27, 2020
[ANN] Camlp5 version 7.11 release (4.10 compatibility) Community announce	1	1070	February 4, 2020
[ANN] Camlp5 version 7.12 release (4.11 compatibility) Ecosystem announce , camlp5	0	916	May 29, 2020
[ANN] Camlp5 (8.00~alpha01) and pa_ppx (0.01) Ecosystem ppx , camlp5	0	1081	July 26, 2020