Package abella

• do-deps

  OK

• do-compile

  OK

All universes

1d6f9e5ec0ae4f6f453510fd55c8b699

• prep

  • prep abella.2.0.7-1d6f9e5ec0ae4f6f453510fd55c8b699

    OK

  • prep dependency ocaml.4.12.1-751db0dcba330297be6dee35d87fc989

    OK

  • prep dependency ocaml-base-compiler.4.12.1-5fb084374c1b9ffd0a585d632bd0045d

    OK

  • prep dependency ocaml-config.2-583685410e65b72492ca2db46f687177

    OK

  • prep dependency ocamlbuild.0.16.1-30b85a1775ede208fe31dd0ba160e435

    OK

  • prep dependency ocamlfind.1.9.8-30b85a1775ede208fe31dd0ba160e435

    OK