Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

f736d3934962ed84e52ba0d460a6369d

• prep

  • prep coq-of-ocaml.2.3.0-f736d3934962ed84e52ba0d460a6369d

    OK

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency dune.2.7.1-d89cbae5b9ead426c87654980a99bc97

    OK

  • prep dependency ocaml.4.09.1-66ca87cafbd60afc64d647a3f22780fa

    OK

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

    OK

  • prep dependency ocaml-config.1-db32003a919f38cb0d075d5e4e8c662b

    OK

  • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency seq.base-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency smart-print.0.3.0-0ac2e31d5df0d205c72df0f7cfef94ef

    OK

  • prep dependency yojson.2.2.2-580a8ca6bcd19d50bf96ca56839d87b4

    OK