Package coq-serapi

• do-deps

  OK

• do-compile

  OK

All universes

98cec8bb41c8c12157ebd1e49d551163

• prep

  • prep coq-serapi.8.10.0+0.7.0-98cec8bb41c8c12157ebd1e49d551163

    OK

  • prep dependency base.v0.14.3-596fea17a8e5a30f38ed76f72e2e1e65

    OK

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency cmdliner.1.3.0-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency coq.8.10.2-bf736ed7179238f86d9f73eeceea899f

    OK

  • prep dependency cppo.1.8.0-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency csexp.1.5.2-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency dune.3.18.2-d89cbae5b9ead426c87654980a99bc97

    OK

  • prep dependency dune-configurator.3.18.2-1e7f3a71c97a9d5285f4e0afeccafb76

    OK

  • prep dependency num.1.5-1-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency ocaml.4.09.1-66ca87cafbd60afc64d647a3f22780fa

    OK

  • prep dependency ocaml-base-compiler.4.09.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency ocaml-compiler-libs.v0.12.4-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency ocaml-config.1-db32003a919f38cb0d075d5e4e8c662b

    OK

  • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency parsexp.v0.14.2-894756f93c9cf743b0f21ddc263d6627

    OK

  • prep dependency ppx_derivers.1.2.1-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency ppx_deriving.5.2.1-2683eeb7bf0b41c4beaaf0b84b5416a3

    OK

  • prep dependency ppx_deriving_yojson.3.6.1-cd9a8da2dd745ccec5225b6128998980

    OK

  • prep dependency ppx_import.1.9.1-6f51005c51f14d40cc66b7cb3a16607e

    OK

  • prep dependency ppx_sexp_conv.v0.14.3-cd24c555b7c6a5d06c6cca232e9ef0d5

    OK

  • prep dependency ppxlib.0.25.1-bc0cef2b3617bcc4a21c18a1b51a1e81

    OK

  • prep dependency result.1.5-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency seq.base-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency sexplib.v0.14.0-9059d938dcd60b56ad9eaf262bee4b64

    OK

  • prep dependency sexplib0.v0.14.0-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency stdlib-shims.0.3.0-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency yojson.2.2.2-2f64ef276fdc37206029bbcb48eedd62

    OK