Package coqide

• coqide.8.7.2-a1a57092fdca80d65f63cd32c67558c3

  • prep

    • prep coqide.8.7.2-a1a57092fdca80d65f63cd32c67558c3

      blocked

    • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency camlp-streams.5.0.1-9060be3fcbee6275e96fe4874b281930

      OK

    • prep dependency camlp5.7.14-c495728edfc7261fb195188ed2f24de5

      OK

    • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency conf-gtk2.1-3587e78d566135daeb6e26fb6cb55dcd

      OK

    • prep dependency conf-gtksourceview.2-3587e78d566135daeb6e26fb6cb55dcd

      error: Failed: Build failed

    • prep dependency conf-perl.2-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency conf-pkg-config.4-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency coq.8.7.2-c280449ca98e8a44db9cf87d635c06a8

      OK

    • prep dependency dune.3.18.2-d89cbae5b9ead426c87654980a99bc97

      OK

    • prep dependency lablgtk.2.18.14-bc9ce336448467a714cb656e000af77e

      blocked

    • prep dependency num.1.5-1-a3bf89144f3d9ffb05fd9b21a892de9e

      OK

    • prep dependency ocaml.4.09.1-66ca87cafbd60afc64d647a3f22780fa

      OK

    • prep dependency ocaml-base-compiler.4.09.1-c0bf56c6239009b86330c6132c198725

      OK

    • prep dependency ocaml-config.1-db32003a919f38cb0d075d5e4e8c662b

      OK

    • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

      OK

All universes

a1a57092fdca80d65f63cd32c67558c3

• prep

  • prep coqide.8.7.2-a1a57092fdca80d65f63cd32c67558c3

    blocked

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency camlp-streams.5.0.1-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency camlp5.7.14-c495728edfc7261fb195188ed2f24de5

    OK

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency conf-gtk2.1-3587e78d566135daeb6e26fb6cb55dcd

    OK

  • prep dependency conf-gtksourceview.2-3587e78d566135daeb6e26fb6cb55dcd

    error: Failed: Build failed

  • prep dependency conf-perl.2-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency conf-pkg-config.4-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency coq.8.7.2-c280449ca98e8a44db9cf87d635c06a8

    OK

  • prep dependency dune.3.18.2-d89cbae5b9ead426c87654980a99bc97

    OK

  • prep dependency lablgtk.2.18.14-bc9ce336448467a714cb656e000af77e

    blocked

  • prep dependency num.1.5-1-a3bf89144f3d9ffb05fd9b21a892de9e

    OK

  • prep dependency ocaml.4.09.1-66ca87cafbd60afc64d647a3f22780fa

    OK

  • prep dependency ocaml-base-compiler.4.09.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency ocaml-config.1-db32003a919f38cb0d075d5e4e8c662b

    OK

  • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

    OK