Package why3-ide

• why3-ide.1.0.0-e5edcac0d0e8efdb75b3cd5f761cf00e

  • prep

    • prep why3-ide.1.0.0-e5edcac0d0e8efdb75b3cd5f761cf00e

      blocked

    • prep dependency base-threads.base-fc9801d960eef72797601051a197c4f2

      OK

    • prep dependency base-unix.base-fc9801d960eef72797601051a197c4f2

      OK

    • prep dependency camlp-streams.5.0.1-9af881fb9afa72ab633c266bd017bee5

      OK

    • prep dependency conf-gtk2.1-5b6e9a5eea03ae1c3dc2ddeebe8cfcfd

      OK

    • prep dependency conf-gtksourceview.2-5b6e9a5eea03ae1c3dc2ddeebe8cfcfd

      error: Failed: Build failed

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

      OK

    • prep dependency dune.3.18.2-7ad0096c17c0772bff2af0b87c0bb8b0

      OK

    • prep dependency lablgtk.2.18.14-8cfa3b0e6461755b7089ff47c310f51d

      blocked

    • prep dependency menhir.20190924-351fc65e1b7c896d909b6dd1d3a5254b

      OK

    • prep dependency num.1.5-1-b197a5b8660e9dc412fad9af1e7c96f1

      OK

    • prep dependency ocaml.4.08.1-68880b4467147cd37e298447f414cb8c

      OK

    • prep dependency ocaml-base-compiler.4.08.1-fc9801d960eef72797601051a197c4f2

      OK

    • prep dependency ocaml-config.1-5f3a3177be70521a73663f22f1448b81

      OK

    • prep dependency ocamlbuild.0.16.1-b197a5b8660e9dc412fad9af1e7c96f1

      OK

    • prep dependency ocamlfind.1.9.8-b197a5b8660e9dc412fad9af1e7c96f1

      OK

    • prep dependency why3.1.0.0-b9c5b284869279b680528032377ab921

      OK

All universes

e5edcac0d0e8efdb75b3cd5f761cf00e

• prep

  • prep why3-ide.1.0.0-e5edcac0d0e8efdb75b3cd5f761cf00e

    blocked

  • prep dependency base-threads.base-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency base-unix.base-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency camlp-streams.5.0.1-9af881fb9afa72ab633c266bd017bee5

    OK

  • prep dependency conf-gtk2.1-5b6e9a5eea03ae1c3dc2ddeebe8cfcfd

    OK

  • prep dependency conf-gtksourceview.2-5b6e9a5eea03ae1c3dc2ddeebe8cfcfd

    error: Failed: Build failed

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

    OK

  • prep dependency dune.3.18.2-7ad0096c17c0772bff2af0b87c0bb8b0

    OK

  • prep dependency lablgtk.2.18.14-8cfa3b0e6461755b7089ff47c310f51d

    blocked

  • prep dependency menhir.20190924-351fc65e1b7c896d909b6dd1d3a5254b

    OK

  • prep dependency num.1.5-1-b197a5b8660e9dc412fad9af1e7c96f1

    OK

  • prep dependency ocaml.4.08.1-68880b4467147cd37e298447f414cb8c

    OK

  • prep dependency ocaml-base-compiler.4.08.1-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency ocaml-config.1-5f3a3177be70521a73663f22f1448b81

    OK

  • prep dependency ocamlbuild.0.16.1-b197a5b8660e9dc412fad9af1e7c96f1

    OK

  • prep dependency ocamlfind.1.9.8-b197a5b8660e9dc412fad9af1e7c96f1

    OK

  • prep dependency why3.1.0.0-b9c5b284869279b680528032377ab921

    OK