Package coq-serapi

• do-deps

  OK

• do-compile

  blocked

All universes

9fcda6873c4ccd069b747ea78dffc55e

• prep

  • prep coq-serapi.8.8.0+0.5.3-9fcda6873c4ccd069b747ea78dffc55e

    OK

  • prep dependency base.v0.12.2-67082396d02346075c109d6435af8593

    OK

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency camlp5.7.14-c495728edfc7261fb195188ed2f24de5

    OK

  • prep dependency cmdliner.1.0.4-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency conf-perl.2-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency coq.8.8.2-c280449ca98e8a44db9cf87d635c06a8

    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 ocaml-migrate-parsetree.1.8.0-1321fbad2cea26f1a1888e138b046c4c

    OK

  • prep dependency ocamlbuild.0.16.1-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency parsexp.v0.12.0-5c0b40cc6514d831e6755299812c8025

    OK

  • prep dependency ppx_derivers.1.2.1-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency ppx_deriving.4.5-1-02ff27969da188a33d72c6db943a872a

    OK

  • prep dependency ppx_import.1.8.0-d0d1473777378c73f5dbc19e8003c3d5

    OK

  • prep dependency ppx_sexp_conv.v0.12.0-2a9226d4a3ea34589528d0c297f03bb3

    OK

  • prep dependency ppx_tools.6.6-9c4d76ac31e2059d4d9a00918c83a181

    OK

  • prep dependency ppx_tools_versioned.5.4.0-238aec8b3b7fdabe11798a1691e98d61

    OK

  • prep dependency ppxfind.1.4-8b39212c084c27acf2df063e41b83c1f

    OK

  • prep dependency ppxlib.0.8.1-594159bc54a879a4b6d4e5ea334433a0

    OK

  • prep dependency result.1.5-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency sexplib.v0.12.0-c2836c409960aec21502441bae6a5d75

    OK

  • prep dependency sexplib0.v0.12.0-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency stdio.v0.12.0-5c0b40cc6514d831e6755299812c8025

    OK