Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

5fe486866c0e603debf04d0db481a5b3

• prep

  • prep coq-of-ocaml.2.4.1-5fe486866c0e603debf04d0db481a5b3

    OK

  • prep dependency base-threads.base-63330b92a6b6363250a99247b5dcd739

    OK

  • prep dependency base-unix.base-63330b92a6b6363250a99247b5dcd739

    OK

  • prep dependency csexp.1.4.0-3c26904d58f8e88358005b2ba74eff17

    OK

  • prep dependency dune.3.18.2-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 result.1.5-fb71b3eb84eb61afa28c2aeaf216cffd

    OK

  • prep dependency seq.base-a58f788bd459541dc12e263b2bb1624c

    OK

  • prep dependency smart-print.0.3.0-fb71b3eb84eb61afa28c2aeaf216cffd

    OK

  • prep dependency yojson.2.2.2-62dd4692aa7e7bc4ea3d1197226e03cd

    OK