Package coqide

• do-deps

  • prep

    OK

  • dep-compile ocamlfind.1.9.8-e1374977a64fa2e90a9b4e5cbc897d60

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.1-55096308e35f26e8330246389e023aff

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-base-compiler.4.11.2-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.11.2-e5ba85bfdaa088ece26cd9a06245a8a9

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-e1374977a64fa2e90a9b4e5cbc897d60

    • prep

      OK

    • compile

      OK

  • dep-compile lablgtk3-sourceview3.3.1.5-6803606eb97645954f58b1c219a56314

    • prep

      OK

    • compile

      OK

  • dep-compile lablgtk3.3.1.5-2687a1bf95f154fc5d98d7e8c649d1b9

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.17.2-b83e6de08e96173f3cfb824cfa3a197c

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.17.2-2dd7157435aa75bab407dd876b608632

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.12.1-79826cae83406ef21a80b43c6fa983bd

    • prep

      OK

    • compile

      OK

  • dep-compile conf-pkg-config.4-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gtksourceview3.0+2-afe7c779e5c5d79c73151ce129b0ca5a

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gtk3.18-afe7c779e5c5d79c73151ce129b0ca5a

    • prep

      OK

    • compile

      OK

  • dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-cairo.1-afe7c779e5c5d79c73151ce129b0ca5a

    • prep

      OK

    • compile

      OK

  • dep-compile conf-adwaita-icon-theme.2-afe7c779e5c5d79c73151ce129b0ca5a

    • prep

      OK

    • compile

      OK

  • dep-compile camlp-streams.5.0.1-008b87dc9e11a09fe78e4b4eb0921381

    • prep

      OK

    • compile

      OK

  • dep-compile cairo2.0.6.5-71a72f9ab7d0758f4ce38bb4e468fd47

    • prep

      OK

    • compile

      OK

  • dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-bigarray.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  error: Failed: Build failed