$ opam install coq-serapi
The following actions will be performed:
⊘ remove patdiff v0.12.1 [uses expect_test_helpers]
↗ upgrade ocaml-migrate-parsetree 1.5.0 to 1.8.0 [required by ppxlib]
⊘ remove core_bench v0.12.0 [conflicts with ppx_jane]
↗ upgrade sexplib0 v0.12.0 to v0.14.0 [required by ppx_sexp_conv]