Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

e840554fb8cdb13b8e9e92934ea76de9

• prep

  • prep coq-of-ocaml.2.4.0-e840554fb8cdb13b8e9e92934ea76de9

    OK

  • prep dependency base-threads.base-63330b92a6b6363250a99247b5dcd739

    OK

  • prep dependency base-unix.base-63330b92a6b6363250a99247b5dcd739

    OK

  • prep dependency dune.2.7.1-254e17792e3619e6a5dd4b78650eed8e

    OK

  • prep dependency ocaml.4.10.2-9212e9361b51482fdb52f9b0befa8d85

    OK

  • prep dependency ocaml-base-compiler.4.10.2-63330b92a6b6363250a99247b5dcd739

    OK

  • prep dependency ocaml-config.1-45ff15bea24784b664e885ca29b07710

    OK

  • prep dependency ocamlfind.1.9.8-a58f788bd459541dc12e263b2bb1624c

    OK

  • prep dependency seq.base-a58f788bd459541dc12e263b2bb1624c

    OK

  • prep dependency smart-print.0.3.0-258ecd763c92ad08bd8c8761f06d97e8

    OK

  • prep dependency yojson.2.2.2-fb1560603c3a192639eb267455a319ed

    OK