Package coqide

• do-deps

  OK

• do-compile

  OK

All universes

470c67a4160ab5458708c95e7e8a1f1c

• prep

  • prep coqide.8.10.0-470c67a4160ab5458708c95e7e8a1f1c

    OK

  • prep dependency base-bigarray.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency cairo2.0.6.5-9cce06bc80cc4250b07dab2a28afdcd6

    OK

  • prep dependency camlp-streams.5.0.1-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency conf-adwaita-icon-theme.2-3587e78d566135daeb6e26fb6cb55dcd

    OK

  • prep dependency conf-cairo.1-3587e78d566135daeb6e26fb6cb55dcd

    OK

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency conf-gtk3.18-3587e78d566135daeb6e26fb6cb55dcd

    OK

  • prep dependency conf-gtksourceview3.0+2-3587e78d566135daeb6e26fb6cb55dcd

    OK

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

    OK

  • prep dependency coq.8.10.0-bf736ed7179238f86d9f73eeceea899f

    OK

  • prep dependency csexp.1.5.2-9060be3fcbee6275e96fe4874b281930

    OK

  • prep dependency dune.3.18.2-d89cbae5b9ead426c87654980a99bc97

    OK

  • prep dependency dune-configurator.3.18.2-1e7f3a71c97a9d5285f4e0afeccafb76

    OK

  • prep dependency lablgtk3.3.1.5-873df0a16e7c9749fc8c2d33fb7524e7

    OK

  • prep dependency lablgtk3-sourceview3.3.1.5-4c826a772947ef50c78409ce7e7f8c29

    OK

  • 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