Package qcheck-stm

do-deps
active
do-compile
active

All universes

10b88f70e31452fc3d5a179e231c9450

prep
- prep qcheck-stm.0.10-10b88f70e31452fc3d5a179e231c9450
  active
- prep dependency base-domains.base-c43b17abdeb9c13d2ceb83d309ed632a
  active
- prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency dune.3.21.0-3114aec9e7f412ca05476b1c25ff1eb5
  active
- prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81
  active
- prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63
  active
- prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5
  active
- prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d
  active
- prep dependency qcheck-core.0.91-7bf556133b21b19dadc01140195b1cc4
  active
- prep dependency qcheck-multicoretests-util.0.10-5f3deb20516876fa1f7e3da5c8dcfde2
  active

408e6d99744b5f9e4432022b355869dc

prep
- prep qcheck-stm.0.10-408e6d99744b5f9e4432022b355869dc
  active
- prep dependency base-domains.base-7d8ef1b481069521916197c29ef4a3c9
  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 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
- prep dependency qcheck-core.0.91-2f8ce72c7427776a66a060c6ceadcaaa
  active
- prep dependency qcheck-multicoretests-util.0.10-4045483f2b1be9e78c16063c3e124d73
  active