Package coq-of-ocaml

• do-deps

  OK

• do-compile

  OK

All universes

885fad278873aa05980efbc88909a45b

• prep

  • prep coq-of-ocaml.2.5.3+4.12-885fad278873aa05980efbc88909a45b

    OK

  • prep dependency angstrom.0.16.1-58d0a5635a9dc2b43ac0ca03d0de4921

    OK

  • prep dependency base-threads.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency base-unix.base-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency bigstringaf.0.10.0-e7de95e571e6c2388d36df7148c88cd1

    OK

  • prep dependency csexp.1.5.2-c0e22be2bf025419facdc54b644d5e0e

    OK

  • prep dependency dune.3.18.2-cd2ef06f6359633cf5b81e9e67a1258a

    OK

  • prep dependency dune-configurator.3.18.2-b355b5e47c3f267e35077138cd26f4a0

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

    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