Package coq

• do-deps

  OK

• do-compile

  blocked

All universes

61e62bddc23b8f7146475add984210b2

• prep

  • prep coq.8.8.2-61e62bddc23b8f7146475add984210b2

    OK

  • prep dependency camlp5.7.14-8a41a57f1764dbd59ad005a737831015

    OK

  • prep dependency conf-findutils.1-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency conf-perl.2-fc9801d960eef72797601051a197c4f2

    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 ocamlfind.1.9.8-b197a5b8660e9dc412fad9af1e7c96f1

    OK

c280449ca98e8a44db9cf87d635c06a8

• prep

  • prep coq.8.8.2-c280449ca98e8a44db9cf87d635c06a8

    OK

  • prep dependency camlp5.7.14-c495728edfc7261fb195188ed2f24de5

    OK

  • prep dependency conf-findutils.1-c0bf56c6239009b86330c6132c198725

    OK

  • prep dependency conf-perl.2-c0bf56c6239009b86330c6132c198725

    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