Package coq-serapi
do-deps
prep
OKdep-compile stdio.v0.10.0-9edf20798f34a0609b2b4a3720337cae
dep-compile sexplib.v0.10.0-843b42a6057f19c29bacc11b7f34796d
dep-compile result.1.5-015754a94c94f306962313f87f409687
dep-compile ppx_type_conv.v0.10.0-b7c49ebaf11df7b30d6d37b20c1efb01
dep-compile ppx_traverse_builtins.v0.10.0-db6461279be3aed018afa492bfb6cc13
dep-compile ppx_tools_versioned.5.4.0-be4c417dbfd3bdb5fa41a5609f3c07da
dep-compile ppx_tools.5.1+4.06.0-3e08c2a0d4385509c0f07e82dbb80d03
dep-compile ppx_sexp_conv.v0.10.0-b5d1a744a9b9456dc7135ec5f0a53a44
dep-compile ppx_optcomp.v0.10.0-ed0cfe0d9e6caa1e721e9c6f19fbc009
dep-compile ppx_metaquot.v0.10.0-18396b3d00688fad0176a4ae5ed8883e
dep-compile ppx_import.1.8.0-435cf535d0338bc30aa68c19c272f542
dep-compile ppx_driver.v0.10.4-cd03f4cca4d5571bd9240183e084975f
dep-compile ppx_deriving.4.2.1-1fdc8c720aae9123c4be1aa461ce99c7
dep-compile ppx_derivers.1.2.1-015754a94c94f306962313f87f409687
dep-compile ppx_core.v0.10.0-d4376bbd8951eaa369643420610a47a5
dep-compile ppx_ast.v0.10.0-41b157c139c14385e4a7da01dfa66c17
dep-compile ocamlfind.1.9.6-7faa654be436a67ffcadcccadd01c9e5
dep-compile ocamlbuild.0.14.3-7faa654be436a67ffcadcccadd01c9e5
dep-compile ocaml-migrate-parsetree.1.8.0-0e1f45c722f4fc39e7453b5b2bda9116
dep-compile ocaml-config.1-11e43ccd2dd96ebae05bcfad7b58d477
dep-compile ocaml-compiler-libs.v0.10.0-db6461279be3aed018afa492bfb6cc13
dep-compile ocaml-base-compiler.4.06.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile ocaml.4.06.1-c86a0e7c9758680372504fb5d7068da7
dep-compile num.1.5-7faa654be436a67ffcadcccadd01c9e5
dep-compile jbuilder.transition-015754a94c94f306962313f87f409687
dep-compile dune.1.11.4-388a6e6182fb245124fb55c1c2b93f31
dep-compile cppo_ocamlbuild.1.6.9-3b5f3ec153a71121d65a3fd899167b84
dep-compile cppo.1.6.9-015754a94c94f306962313f87f409687
dep-compile coq.8.7.2-c6db874223bcd461c4fdf3f8ef19ce3a
dep-compile conf-perl.2-d41d8cd98f00b204e9800998ecf8427e
dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e
dep-compile cmdliner.1.0.4-7faa654be436a67ffcadcccadd01c9e5
dep-compile camlp5.7.14-e91f68b88e125c89c2b2d9bc8410cf51
dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e
dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e
dep-compile base.v0.10.0-0f775d5e5ed843124f79e66f591f6349
do-compile
OKdo-html
OK