BDEPEND=test? ( dev-ml/alcotest ) dev-lang/ocaml dev-ml/dune >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile install test unpack
DEPEND=dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Experimental model checker for testing concurrent algorithms
EAPI=8
HOMEPAGE=https://github.com/ocaml-multicore/dscheck
IUSE=+ocamlopt test
LICENSE=ISC
PROPERTIES=live
RDEPEND=dev-ml/cmdliner:0=[ocamlopt?] dev-ml/containers:0=[ocamlopt?] dev-ml/oseq:0=[ocamlopt?] dev-ml/seq[ocamlopt?] dev-ml/tsort:0=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0/9999
_eclasses_=dune	4304f35da0fafecd98eb149d0b7ed4d4	edo	a5e294016aa84979fcb2459749eb80b2	git-r3	875eb471682d3e1f18da124be97dcc81	multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=8922aaca205d0f2c21896e89c2785b54