Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

d764cbe399bb5b9e9795f454897358e3

• prep

  • prep coq-of-ocaml.2.5.2+4.13-d764cbe399bb5b9e9795f454897358e3

    OK

  • prep dependency base-threads.base-b5c1b559da1223a0de51dff96f99d44d

    OK

  • prep dependency base-unix.base-b5c1b559da1223a0de51dff96f99d44d

    OK

  • prep dependency csexp.1.5.2-7b845d89b0ff728eaed7000e47d196d1

    OK

  • prep dependency dune.3.18.2-c66f0e93aa024fe8d4903ec4adf2b934

    OK

  • prep dependency ocaml.4.13.1-ff977f9e256fac2e1a9efd57586460ca

    OK

  • prep dependency ocaml-base-compiler.4.13.1-b5c1b559da1223a0de51dff96f99d44d

    OK

  • prep dependency ocaml-config.2-3631e13a8d684842f0ebafbbefba70f1

    OK

  • prep dependency ocamlfind.1.9.8-4b538ed3f8aafc189031046c731c22fb

    OK

  • prep dependency result.1.5-7b845d89b0ff728eaed7000e47d196d1

    OK

  • prep dependency seq.base-4b538ed3f8aafc189031046c731c22fb

    OK

  • prep dependency smart-print.0.3.0-7b845d89b0ff728eaed7000e47d196d1

    OK

  • prep dependency yojson.2.2.2-f7f1acbe41096fbe8b1875ae37cf9c41

    OK