Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

5df8998b02103ec9a5de606c0e36c3b8

• prep

  • prep coq-of-ocaml.2.5.1-5df8998b02103ec9a5de606c0e36c3b8

    OK

  • prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency csexp.1.5.2-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency dune.3.18.2-cd2ef06f6359633cf5b81e9e67a1258a

    OK

  • prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989

    OK

  • prep dependency ocaml-base-compiler.4.12.1-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177

    OK

  • prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435

    OK

  • prep dependency result.1.5-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency seq.base-30b85a1775ede208fe31dd0ba160e435

    OK

  • prep dependency smart-print.0.3.0-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency yojson.2.2.2-27dd3a67089a10940f941fa4b935c433

    OK