Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile zarith.1.14-238753d24fee19f433b03330324fdfd5

    • prep

      OK

    • compile

      OK

  • dep-compile yojson.2.2.2-79656cb4140eb5800928bc4c3910b598

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.15.1-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.15.1-bb8ba5cf948e979adc91bda8c392fa21

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.35.0-aca21729aa380b812881974e6fc679fe

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.15.1-a7ba10c7a232279d353b0ef6e3d67491

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.11.0-ecd46239877184e52d0d5628fb200c96

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_hash.v0.15.0-e2d5e55a8a0c3888898b5572e776d420

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving_yojson.3.9.1-13fb992d2cd0057ccfd16d71172a7752

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-8d58ad11b85eee40289990b3cca0a671

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_compare.v0.15.0-a7ba10c7a232279d353b0ef6e3d67491

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.15.0-1eef9f93425022eff7b9c62801b8fc18

    • 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-8e8949b23af8cfab7024ed5b8381b7c8

    • 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 dune-configurator.3.17.2-4bf6dc6e3a642c1279da06ae56bf11d8

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.17.2-22f0ab24a62c706cb139b2cdc468de60

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.8.0-8e8949b23af8cfab7024ed5b8381b7c8

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.16.1-491f5db6885847e1d78177c15105d3f4

    • prep

      OK

    • compile

      OK

  • dep-compile conf-pkg-config.4-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e

    • 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.15.1-8a181c0ef01935b4fe28dac6eda0fdf5

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  error: Failed: Build failed