See https://github.com/ocaml/ocaml/pull/10737 , feedback from Coq devs have been requested
Do we use any deprecated API? It does not seem so (gave only a quick look)
Last updated: Jun 05 2023 at 09:01 UTC