Revisions of ocaml-camlp5
jsc#PED-6305 - update OCaml stack to 4.14 - Update to version 8.02.01
Needed for Coq. Newer version would need a newer ocaml-rpm-macros.
Displaying all 4 revisions
jsc#PED-6305 - update OCaml stack to 4.14 - Update to version 8.02.01
Needed for Coq. Newer version would need a newer ocaml-rpm-macros.