Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

70103fd13efdd5769c569c1e518e91be

• prep

  • prep coq-of-ocaml.2.5.3+4.13-70103fd13efdd5769c569c1e518e91be

    OK

  • prep dependency angstrom.0.16.1-d9f162af1344efa83189dd9d2ee8f392

    OK

  • prep dependency base-threads.base-b5c1b559da1223a0de51dff96f99d44d

    OK

  • prep dependency base-unix.base-b5c1b559da1223a0de51dff96f99d44d

    OK

  • prep dependency bigstringaf.0.10.0-ef6078b1211d80107465d0d1033850d4

    OK

  • prep dependency csexp.1.5.2-7b845d89b0ff728eaed7000e47d196d1

    OK

  • prep dependency dune.3.18.2-c66f0e93aa024fe8d4903ec4adf2b934

    OK

  • prep dependency dune-configurator.3.18.2-222dc3bd4b5c9e59c05772c5ddb258c6

    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 ocaml-syntax-shims.1.0.0-7b845d89b0ff728eaed7000e47d196d1

    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