[new release] coq-serapi (8.15.0+0.15.2)
[new release] coq-serapi (8.15.0+0.15.2)

CHANGES:

 - [deps]   Support Jane Street libraries v0.15.0 (@ejgallego)
 - [deps]   Require cmdliner >= 1.1.0 (@ejgallego)

pqwy/opam-repository,emillon/opam-repository,kkirstein/opam-repository,ocaml/opam-repository,pirbo/opam-repository,kkirstein/opam-repository,nberth/opam-repository,jhwoodyatt/opam-repository,Leonidas-from-XIV/opam-repository,emillon/opam-repository,fpottier/opam-repository,fpottier/opam-repository,nberth/opam-repository,codinuum/opam-repository,Leonidas-from-XIV/opam-repository,pqwy/opam-repository,pirbo/opam-repository,codinuum/opam-repository,jhwoodyatt/opam-repository,ocaml/opam-repository