Package coq

• do-deps

  OK

• do-compile

  OK

All universes

bf736ed7179238f86d9f73eeceea899f

• prep

  • prep coq.8.10.2-bf736ed7179238f86d9f73eeceea899f

    OK

  • prep dependency conf-findutils.1-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