Package coq-serapi

• do-deps

  OK

• do-compile

  OK

All universes

1031d88bb39bcc1d0e36fc7d521995a4

• prep

  • prep coq-serapi.8.17.0+0.17.0-1031d88bb39bcc1d0e36fc7d521995a4

    OK

  • prep dependency base.v0.15.1-c16fb2c6ac36986bfb53e70da5f32e66

    OK

  • prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency cmdliner.1.3.0-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

    OK

  • prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency coq.8.17.1-bfe8fb929dd32b6163b2a87df7ff77d0

    OK

  • prep dependency coq-core.8.17.1-617d9203af13f82029c92fe8930d409c

    OK

  • prep dependency coq-stdlib.8.17.1-faa99c70e3d129c78b3c03ee03245983

    OK

  • prep dependency coqide-server.8.17.1-faa99c70e3d129c78b3c03ee03245983

    OK

  • prep dependency cppo.1.8.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency csexp.1.5.2-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency dune.3.18.2-e024f97198156aca38c1ffa4a15e7553

    OK

  • prep dependency dune-configurator.3.18.2-057eb000726134c22b73f1883f9d29b0

    OK

  • prep dependency num.1.5-1-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

    OK

  • prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7

    OK

  • prep dependency ocaml-compiler-libs.v0.17.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

    OK

  • prep dependency ocamlfind.1.9.6-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency parsexp.v0.15.0-e9ce12aea1a4276580c4f11e6cb56e92

    OK

  • prep dependency ppx_compare.v0.15.0-c9d29924b1a5251cc979dc180c493a41

    OK

  • prep dependency ppx_derivers.1.2.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ppx_deriving.5.2.1-ead475e01a4f350ed07c9fa883b6b02c

    OK

  • prep dependency ppx_deriving_yojson.3.9.1-80a7b90e94cbf43a687fdd11c750862b

    OK

  • prep dependency ppx_hash.v0.15.0-7c7b32ee7b3799008073608aeb7f2fd5

    OK

  • prep dependency ppx_import.1.11.0-ca641a732f9aa46505bb07c86f0907b5

    OK

  • prep dependency ppx_sexp_conv.v0.15.1-c9d29924b1a5251cc979dc180c493a41

    OK

  • prep dependency ppxlib.0.35.0-5ed8cbb0442f3a583055f810a02eba74

    OK

  • prep dependency result.1.5-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency seq.base-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency sexplib.v0.15.1-b98590d01684d8df72cd21aaec97cb73

    OK

  • prep dependency sexplib0.v0.15.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency stdlib-shims.0.3.0-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency yojson.2.2.2-9f0b066fd864d4395b64b925173cdc28

    OK

  • prep dependency zarith.1.14-2dc66fddc5d6221c695c53ac73362b1b

    OK