patches

Jul 7, 2022

33ce7c1 · Jul 7, 2022

Name	Name	Last commit message	Last commit date
parent directory ..
coq.8.12.patch	coq.8.12.patch	Flatten the `CoqFFI' library	Aug 26, 2021
ocaml.4.08-4.09.patch	ocaml.4.08-4.09.patch	Support OCaml 4.13	Apr 27, 2022
ocaml.4.10.patch	ocaml.4.10.patch	Support OCaml 4.13	Apr 27, 2022
ocaml.4.11-4.12.patch	ocaml.4.11-4.12.patch	Support OCaml 4.13	Apr 27, 2022
ocaml.4.13.patch	ocaml.4.13.patch	Fix support for OCaml 4.14	Jul 7, 2022

Provide feedback