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.14.0-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.14.0-3b2951d2745de50ce09cac6571f8a752

    • 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.25.1-fe79327171b3e6ffe4a50c5a1921db66

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.14.3-29a3bc05c72593bee959068971c3423f

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.9.1-c4d95ffe0479580af022cdc1b8c5595c

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving_yojson.3.6.1-c4e073ad54ee62b68ffd7a9e5202fa8c

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-409dd4058abdbb81efe9669ca9172157

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.14.2-41b9616c74b5acabc4922e3f5ff3940b

    • 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.14.3-12c9f6169d4dbbf1da18134e32bde3e2

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  error: Failed: Build failed