Support coq 8.14

[SnarkBoojum]

I wanted to package coq-serapi in Debian, but I already uploaded 8.14 (well, 8.14.0 some time ago and 8.14.1 today), and I see in the opam file that it wants < 8.14.

When will a new version compatible with the latest stable coq be available?

[palmskog]

There is already a stable released version for 8.14: https://github.com/ocaml/opam-repository/blob/master/packages/coq-serapi/coq-serapi.8.14.0%2B0.14.0/opam

[SnarkBoojum]

Ah, the problem is that 8.13 is still the default branch, so I didn't get to see the newest available version!

[ejgallego]

@SnarkBoojum sorry for that, indeed we have quite a big of backlog in the project.