Package coq-serapi

• do-deps

  OK

• do-compile

  OK

All universes

7f3ba3b33fd4029aa8991a5ea3d9cc6a

• prep

  • prep coq-serapi.8.18.0+0.18.3-7f3ba3b33fd4029aa8991a5ea3d9cc6a

    OK

  • prep dependency base.v0.17.2-cdbb0bbed2ac3fe3477d7fd18c405f11

    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.18.0-d4639386b6deaf616e2084ea34229500

    OK

  • prep dependency coq-core.8.18.0-617d9203af13f82029c92fe8930d409c

    OK

  • prep dependency coq-stdlib.8.18.0-a81ddf4c3b9f67f3661d2adcd44d92cd

    OK

  • prep dependency coqide-server.8.18.0-a81ddf4c3b9f67f3661d2adcd44d92cd

    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 ocaml_intrinsics_kernel.v0.17.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ocamlfind.1.9.6-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency parsexp.v0.17.0-2eb98bdd8f1611535e4e34b7a53b8b90

    OK

  • prep dependency ppx_compare.v0.17.0-3ec94efdd10566b97d10fba5e6f4381c

    OK

  • prep dependency ppx_derivers.1.2.1-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency ppx_deriving.5.2.1-be6835e63e63e9452fe089a602ae87d0

    OK

  • prep dependency ppx_deriving_yojson.3.9.1-0cb9b2ab11a0f8eda3bf1f9159361149

    OK

  • prep dependency ppx_hash.v0.17.0-f41f82aa2ae541f47cdbf19753021379

    OK

  • prep dependency ppx_import.1.11.0-ccfe7991e4e238a36d1e6005f7bc5cd9

    OK

  • prep dependency ppx_sexp_conv.v0.17.0-3ec94efdd10566b97d10fba5e6f4381c

    OK

  • prep dependency ppxlib.0.35.0-d0918dca2c449b2dcc38e8ac5657366b

    OK

  • prep dependency ppxlib_jane.v0.17.0-ccfe7991e4e238a36d1e6005f7bc5cd9

    OK

  • prep dependency result.1.5-fd45627a78b03c5fef13d235198c8c7e

    OK

  • prep dependency seq.base-24d8a45b73ecf4f375220abed490622c

    OK

  • prep dependency sexplib.v0.17.0-3aff2b931c5e26ea0fd265106ab19977

    OK

  • prep dependency sexplib0.v0.17.0-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