Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile stdio.v0.10.0-a3e720a80ebee0f61176dccaecf418a2

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.10.0-7ca028eb3afb96fcfa0258f244cb098c

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-015754a94c94f306962313f87f409687

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_type_conv.v0.10.0-f8c4d8d62935587574e04706ca4d8b15

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_traverse_builtins.v0.10.0-db6461279be3aed018afa492bfb6cc13

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_tools_versioned.5.4.0-be4c417dbfd3bdb5fa41a5609f3c07da

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_tools.5.1+4.06.0-3e08c2a0d4385509c0f07e82dbb80d03

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.10.0-a3b36bcb3163bddd31ea6e1925b0039a

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_optcomp.v0.10.0-595ffec8117ae4a18530a86a85a303e0

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_metaquot.v0.10.0-2fa1a2ebdbd33141fb92bdfbf0489b3e

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.8.0-435cf535d0338bc30aa68c19c272f542

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_driver.v0.10.4-854fd641a2c57b11847987c74798e680

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.4.2.1-1fdc8c720aae9123c4be1aa461ce99c7

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-015754a94c94f306962313f87f409687

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_core.v0.10.0-b53f288f89c920129309276242c4ec29

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_ast.v0.10.0-41b157c139c14385e4a7da01dfa66c17

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.6-7faa654be436a67ffcadcccadd01c9e5

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlbuild.0.14.3-7faa654be436a67ffcadcccadd01c9e5

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-migrate-parsetree.1.8.0-0e1f45c722f4fc39e7453b5b2bda9116

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.1-11e43ccd2dd96ebae05bcfad7b58d477

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.10.0-db6461279be3aed018afa492bfb6cc13

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.06.1-c86a0e7c9758680372504fb5d7068da7

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-7faa654be436a67ffcadcccadd01c9e5

    • prep

      OK

    • compile

      OK

  • dep-compile jbuilder.transition-015754a94c94f306962313f87f409687

    • prep

      OK

    • compile

      OK

  • dep-compile dune.1.11.4-388a6e6182fb245124fb55c1c2b93f31

    • prep

      OK

    • compile

      OK

  • dep-compile cppo_ocamlbuild.1.6.9-3b5f3ec153a71121d65a3fd899167b84

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.6.9-015754a94c94f306962313f87f409687

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.7.2-ab5ae834825c25c8ae2d8ca741a09434

    • prep

      OK

    • compile

      OK

  • dep-compile conf-perl.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile cmdliner.1.0.4-7faa654be436a67ffcadcccadd01c9e5

    • prep

      OK

    • compile

      OK

  • dep-compile camlp5.7.14-e91f68b88e125c89c2b2d9bc8410cf51

    • 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.10.0-db23a8749b241be99462a5d83a91dc48

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK