Add support for Rocq 9.0.0 #126
Description
Could you add support for Rocq 9.0.0? Installing coq-ott via opam doesn't succeed, I have to build it from source.
{{ message }}
Could you add support for Rocq 9.0.0? Installing coq-ott via opam doesn't succeed, I have to build it from source.