Package hol_light

• do-deps

  OK

• do-compile

  blocked

All universes

9c5042cd96b277c0d36e73b845d350b3

• prep

  • prep hol_light.3.0.0-9c5042cd96b277c0d36e73b845d350b3

    OK

  • prep dependency camlp5.7.14-47c3169a51a8fb4ab50327dfbb5e25eb

    OK

  • prep dependency conf-perl.2-0a553505155e86c992c1563a8882ced2

    OK

  • prep dependency ledit.2.04-c73fd3afd674f91823100458f6dbf324

    OK

  • prep dependency num.1.5-1-951465029ea1e959979d57d8d60a54a8

    OK

  • prep dependency ocaml.4.07.1-29e5a9d49dd4f893699bed84bb809dae

    OK

  • prep dependency ocaml-base-compiler.4.07.1-0a553505155e86c992c1563a8882ced2

    OK

  • prep dependency ocaml-config.1-7d5e5f07d545cc917a2c96c7a50eecf1

    OK