Package ocaml-sat-solvers

• do-deps

  active

• do-compile

  active

All universes

794a1b0d13e928b6d6af581851cc2525

• prep

  • prep ocaml-sat-solvers.0.8-794a1b0d13e928b6d6af581851cc2525

    active

  • prep dependency base-threads.base-95f56fcf1da5300e1109d0aa6ba92aed

    active

  • prep dependency base-unix.base-95f56fcf1da5300e1109d0aa6ba92aed

    active

  • prep dependency dune.3.21.0-ebfbf2a49c873ae1898683b3e8cd3ae7

    active

  • prep dependency minisat.0.6-c30634679d9ecf8fcceb33f67cd4dde1

    active

  • prep dependency ocaml.4.14.2-906334fd2e017db19ce5f851d5121f74

    active

  • prep dependency ocaml-base-compiler.4.14.2-95f56fcf1da5300e1109d0aa6ba92aed

    active

  • prep dependency ocaml-config.2-56a469ab35eda9a278ea08e63ba34a78

    active

7a52cc814c6b89c049385152843089c7

• prep

  • prep ocaml-sat-solvers.0.8-7a52cc814c6b89c049385152843089c7

    active

  • prep dependency base-threads.base-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency base-unix.base-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency dune.3.21.0-01cb096815ba24d0001a4d55238d7e43

    active

  • prep dependency minisat.0.6-2f8ce72c7427776a66a060c6ceadcaaa

    active

  • prep dependency ocaml.5.4.0-700c7e2fead6b639c37f02742ab5c8a7

    active

  • prep dependency ocaml-base-compiler.5.4.0-fa47b4b8cb10bdb7c95ca0f933d2def6

    active

  • prep dependency ocaml-compiler.5.4.0-431006b7798dde30d7728c5df9bb0948

    active

  • prep dependency ocaml-config.3-2edf3983b037899d231c875fdd476b20

    active