Package coq-serapi

• do-deps

  • prep

    OK

  • dep-compile yojson.2.2.2-d968103fde01d6255fb3bc368915d6d7

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.13.0-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.13.0-b5ace1ba4199219b480ee77e7e32de3c

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-e1374977a64fa2e90a9b4e5cbc897d60

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.24.0-72ba3745b0b39bb23f90aa8cd1f97610

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.13.0-352d7759acc9eef65c267289ef6600e5

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.9.1-9ae32d7d979705002c5ca4eab4090ad4

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving_yojson.3.6.1-d78cec5038a83d1cf4b8d73b078951d7

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-bf22375dda68f0537f65ca463e3a83cb

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.13.0-8ec061986205edbdf27f7acb24bdc331

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.8-e1374977a64fa2e90a9b4e5cbc897d60

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.1-55096308e35f26e8330246389e023aff

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.12.4-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.11.2-e5ba85bfdaa088ece26cd9a06245a8a9

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-e1374977a64fa2e90a9b4e5cbc897d60

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.17.2-b83e6de08e96173f3cfb824cfa3a197c

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.17.2-2dd7157435aa75bab407dd876b608632

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.8.0-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.11.2-79826cae83406ef21a80b43c6fa983bd

    • prep

      OK

    • compile

      OK

  • dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile cmdliner.1.3.0-e1374977a64fa2e90a9b4e5cbc897d60

    • 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.13.2-9a153961a5f121f6764741d864966a58

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  error: Failed: Build failed