Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile stdio.v0.12.0-9b78dafdbd1396006abaf77c700f6dc0

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.12.0-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.12.0-12344b04943216983a987823f79effd7

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.8.1-816c838c41547357ad4e6717ad0839d5

    • prep

      OK

    • compile

      OK

  • dep-compile ppxfind.1.4-1019f834116e9edbf14e9a83c4dd87c9

    • 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.12.0-adb12502a7687cda1ad25d35571bf5c0

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.8.0-5ceb9808aa53c213b793e61d407fc5fa

    • 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 parsexp.v0.12.0-9b78dafdbd1396006abaf77c700f6dc0

    • 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.12.4-338a17fcf23f08b4b9f2c1521aa9c04a

    • 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 dune-configurator.3.16.0-fdcb971a0706810ea7ffd7467f894047

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.16.0-e395eaca7979f7a5969333dfb63be101

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.7.0-338a17fcf23f08b4b9f2c1521aa9c04a

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.8.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.12.2-b32ef7f067864f1e32796e2bfc1d8115

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK