Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile stdio.v0.10.0-b56f0481d698c7e5de450183d984443f

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.10.0-15cb2539b8b82b521cd47bc7cea6a16c

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile ppxfind.1.4-1019f834116e9edbf14e9a83c4dd87c9

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_type_conv.v0.10.0-999aea874089b2c096e55d72f2ed374a

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_traverse_builtins.v0.10.0-073cf67f1fdb10ed26ce17c3a3f1f6ab

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_tools_versioned.5.4.0-1019f834116e9edbf14e9a83c4dd87c9

    • 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-97794a8f48408cc634575b5d092063dd

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_optcomp.v0.10.0-faa1b0c1073346af92f64ca52dade708

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_metaquot.v0.10.0-c8080ed6a33dd975c2333f51201a0ea3

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.8.0-5ceb9808aa53c213b793e61d407fc5fa

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_driver.v0.10.4-cc5c44e8ad5fdfb8886f571409dd61f8

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.4.5-1-471777497e3b43d24a3ab611d0fc4320

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_core.v0.10.0-050cc55b8f08dc49e9c94030b5b2c911

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_ast.v0.10.0-f1f80c57f29ca6214ce2980afb357df1

    • 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-ac85558539918010cc72807a509d5dab

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.10.0-073cf67f1fdb10ed26ce17c3a3f1f6ab

    • 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.1.0+beta20.2-7faa654be436a67ffcadcccadd01c9e5

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.16.0-e395eaca7979f7a5969333dfb63be101

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.7.0-338a17fcf23f08b4b9f2c1521aa9c04a

    • 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-0f26cdbc7c8924df5836bc804b3710d0

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK