Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile zarith.1.14-cab165eefb8615505c5ad081786a5fc3

    • prep

      OK

    • compile

      OK

  • dep-compile yojson.2.2.2-ebf28724656a64a769e5345e3db860cb

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.14.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.14.0-287e209b57fc104c523b48d4d4c33496

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.25.1-9668c93a7ed97a8017b3a5dadc32b2fb

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.14.3-36e5d212adaa9016612706ccd32d270e

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.9.1-782794a1ef5c196602047150838ac7b4

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving_yojson.3.6.1-e509dd64a06fbd52d49d18ceafd80641

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-29440fd3cdf42b5a3a9ae3faa51f1733

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.14.2-f800df3cc32da4139759d1022baec9ac

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.6-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.2-4fae2d7b423975996c7d562a013d6daa

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.12.4-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-base-compiler.4.14.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.14.2-0e4e48f6f18ef8994033b9c27ffd667d

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile host-arch-x86_64.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.16.0-7a93d2bc52309bf534833a5ad9386af6

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.16.0-22f0ab24a62c706cb139b2cdc468de60

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.7.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.15.2-8429061742a562382e05b4c4ddb75ccd

    • prep

      OK

    • compile

      OK

  • dep-compile conf-pkg-config.3-e16d2b39b23b640adce512d9ee5ae4fe

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gmp.4-e16d2b39b23b640adce512d9ee5ae4fe

    • prep

      OK

    • compile

      OK

  • dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile cmdliner.1.3.0-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base.v0.14.3-c258a32b9fa9f1360c274a0d8543277e

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK