Package coq-serapi

• do-deps

  OK

• do-compile

  OK

All universes

1d5d660a2b72ee3a87a3159056d602a7

• prep

  • prep coq-serapi.8.11.0+0.11.0-1d5d660a2b72ee3a87a3159056d602a7

    OK

  • prep dependency base.v0.14.3-56831dc6128ff5aafbdc1a7e3e71f2b0

    OK

  • prep dependency base-threads.base-b7a40225cc3c1608760d97f3b7f9b6d0

    OK

  • prep dependency base-unix.base-b7a40225cc3c1608760d97f3b7f9b6d0

    OK

  • prep dependency cmdliner.1.3.0-d05c24884f180a4b22aecbcfced9b4bd

    OK

  • prep dependency conf-findutils.1-b7a40225cc3c1608760d97f3b7f9b6d0

    OK

  • prep dependency coq.8.11.2-4e1313029e6d525dc4ee0ddad44eb39f

    OK

  • prep dependency cppo.1.8.0-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency csexp.1.5.2-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency dune.3.18.2-dd0a99898036a8baa6578f7bc70b3978

    OK

  • prep dependency dune-configurator.3.18.2-12601d6592e93c16eff40be80a0f84ce

    OK

  • prep dependency num.1.5-1-d05c24884f180a4b22aecbcfced9b4bd

    OK

  • prep dependency ocaml.4.11.2-85e8d9e4df10fd771636f75da503593e

    OK

  • prep dependency ocaml-base-compiler.4.11.2-b7a40225cc3c1608760d97f3b7f9b6d0

    OK

  • prep dependency ocaml-compiler-libs.v0.12.4-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency ocaml-config.1-22cfeda0334a4d8292f05a86dfc53fc2

    OK

  • prep dependency ocamlfind.1.9.8-d05c24884f180a4b22aecbcfced9b4bd

    OK

  • prep dependency parsexp.v0.14.2-bac5d21caa52983431ea3c629a2b9da5

    OK

  • prep dependency ppx_derivers.1.2.1-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency ppx_deriving.5.2.1-91d8d5f2c73fc2e739b61f0ed698a6bb

    OK

  • prep dependency ppx_deriving_yojson.3.6.1-fea2152e1d866ac90e0dabfaca0294bf

    OK

  • prep dependency ppx_import.1.9.1-5ae1d0a0c39899eb3d0f012288767055

    OK

  • prep dependency ppx_sexp_conv.v0.14.3-bd1a8036776e8f68a344a8c5c037aaca

    OK

  • prep dependency ppxlib.0.25.1-08a0addc6f77d14a4214c45242738222

    OK

  • prep dependency result.1.5-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency seq.base-d05c24884f180a4b22aecbcfced9b4bd

    OK

  • prep dependency sexplib.v0.14.0-6da29ddc5622763baa7ceeab31abb6e6

    OK

  • prep dependency sexplib0.v0.14.0-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency stdlib-shims.0.3.0-78c2e576a67f68776618bf7fb2417996

    OK

  • prep dependency yojson.2.2.2-2237bc126ccca099b2b8c7ca3e2067f3

    OK