Package coqide

• do-deps

  active

• do-compile

  active

All universes

c2be3ee00625fad1ec76b8afa0062fad

• prep

  • prep coqide.8.9.1-c2be3ee00625fad1ec76b8afa0062fad

    active

  • prep dependency base-threads.base-c0bf56c6239009b86330c6132c198725

    active

  • prep dependency base-unix.base-c0bf56c6239009b86330c6132c198725

    active

  • prep dependency camlp-streams.5.0.1-cdeb2b315e9e469b42419cb5c2a88b27

    active

  • prep dependency camlp5.7.14-c495728edfc7261fb195188ed2f24de5

    active

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    active

  • prep dependency conf-gtk2.1-3587e78d566135daeb6e26fb6cb55dcd

    active

  • prep dependency conf-gtksourceview.2-3587e78d566135daeb6e26fb6cb55dcd

    active

  • prep dependency conf-perl.2-c0bf56c6239009b86330c6132c198725

    active

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

    active

  • prep dependency coq.8.9.1-de4086deb1a325de67793ef99d2d4262

    active

  • prep dependency dune.3.21.0-d89cbae5b9ead426c87654980a99bc97

    active

  • prep dependency lablgtk.2.18.14-596cde536211e9a5d0484ee31aa7149d

    active

  • prep dependency num.1.6-a3bf89144f3d9ffb05fd9b21a892de9e

    active

  • prep dependency ocaml.4.09.1-66ca87cafbd60afc64d647a3f22780fa

    active

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

    active

  • prep dependency ocaml-config.1-db32003a919f38cb0d075d5e4e8c662b

    active

  • prep dependency ocamlfind.1.9.8-a3bf89144f3d9ffb05fd9b21a892de9e

    active