Package bddapron

• do-deps

  OK

• do-compile

  OK

All universes

f62b9225b4393d861e27b4b1d77e18dc

• prep

  • prep bddapron.2.3.3-f62b9225b4393d861e27b4b1d77e18dc

    OK

  • prep dependency apron.v0.9.15-65c3d3a07a9b0fa822dffb73e39e0c00

    OK

  • prep dependency base-threads.base-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency base-unix.base-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency bigarray-compat.1.1.0-9af881fb9afa72ab633c266bd017bee5

    OK

  • prep dependency camlidl.1.12-b197a5b8660e9dc412fad9af1e7c96f1

    OK

  • prep dependency camllib.1.3.3-163cbfda9bfaf72786b1bb60165aaff5

    OK

  • prep dependency conf-findutils.1-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency conf-gmp-paths.1-f588d2f8b24fc9a0554d064850436e2c

    OK

  • prep dependency conf-m4.1-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency conf-mpfr-paths.1-982d70ac2443cf614e082a2eb2b9af8f

    OK

  • prep dependency conf-perl.2-fc9801d960eef72797601051a197c4f2

    OK

  • prep dependency dune.3.18.2-7ad0096c17c0772bff2af0b87c0bb8b0

    OK

  • prep dependency ez-conf-lib.2-dc676e9829d756e3b62ee383fe872815

    OK

  • prep dependency mlcuddidl.3.0.8-0e7359899b138f43aa033fd1d302e7c4

    OK

  • prep dependency mlgmpidl.1.3.0-406e878ba3438bf62adbd91e851de43e

    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 stdlib-shims.0.3.0-9af881fb9afa72ab633c266bd017bee5

    OK