BDEPEND=test? ( dev-ml/alcotest ) dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
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
KEYWORDS=~amd64 ~x86
LICENSE=ISC
RDEPEND=>=dev-lang/ocaml-5:0= 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/0.5.0
SRC_URI=https://github.com/ocaml-multicore/dscheck/archive/0.5.0.tar.gz -> dscheck-0.5.0.tar.gz
_eclasses_=dune	4304f35da0fafecd98eb149d0b7ed4d4	edo	a5e294016aa84979fcb2459749eb80b2	multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=29175401b04d9e11a5cc5242d6486f26