(lang dune 3.17)
(name qcheck-lin)
(version 0.7)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/qcheck-lin)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/qcheck-lin)
 (doc /usr/doc/qcheck-lin))
(files
 (lib
  (META
   domain/lin_domain.a
   domain/lin_domain.cma
   domain/lin_domain.cmi
   domain/lin_domain.cmt
   domain/lin_domain.cmti
   domain/lin_domain.cmx
   domain/lin_domain.cmxa
   domain/lin_domain.ml
   domain/lin_domain.mli
   dune-package
   effect/lin_effect.a
   effect/lin_effect.cma
   effect/lin_effect.cmi
   effect/lin_effect.cmt
   effect/lin_effect.cmti
   effect/lin_effect.cmx
   effect/lin_effect.cmxa
   effect/lin_effect.ml
   effect/lin_effect.mli
   lin/lin.a
   lin/lin.cma
   lin/lin.cmi
   lin/lin.cmt
   lin/lin.cmti
   lin/lin.cmx
   lin/lin.cmxa
   lin/lin.ml
   lin/lin.mli
   opam
   thread/lin_thread.a
   thread/lin_thread.cma
   thread/lin_thread.cmi
   thread/lin_thread.cmt
   thread/lin_thread.cmti
   thread/lin_thread.cmx
   thread/lin_thread.cmxa
   thread/lin_thread.ml
   thread/lin_thread.mli))
 (libexec
  (domain/lin_domain.cmxs
   effect/lin_effect.cmxs
   lin/lin.cmxs
   thread/lin_thread.cmxs))
 (doc (CHANGES.md LICENSE README.md odoc-pages/index.mld)))
(library
 (name qcheck-lin.domain)
 (kind normal)
 (archives (byte domain/lin_domain.cma) (native domain/lin_domain.cmxa))
 (plugins (byte domain/lin_domain.cma) (native domain/lin_domain.cmxs))
 (native_archives domain/lin_domain.a)
 (requires
  qcheck-core
  qcheck-core.runner
  qcheck-multicoretests-util
  qcheck-lin.lin)
 (main_module_name Lin_domain)
 (modes byte native)
 (modules
  (singleton
   (obj_name lin_domain)
   (visibility public)
   (source
    (path Lin_domain)
    (intf (path domain/lin_domain.mli))
    (impl (path domain/lin_domain.ml))))))
(library
 (name qcheck-lin.effect)
 (kind normal)
 (archives (byte effect/lin_effect.cma) (native effect/lin_effect.cmxa))
 (plugins (byte effect/lin_effect.cma) (native effect/lin_effect.cmxs))
 (native_archives effect/lin_effect.a)
 (requires
  qcheck-core
  qcheck-core.runner
  qcheck-multicoretests-util
  qcheck-lin.lin)
 (main_module_name Lin_effect)
 (modes byte native)
 (modules
  (singleton
   (obj_name lin_effect)
   (visibility public)
   (source
    (path Lin_effect)
    (intf (path effect/lin_effect.mli))
    (impl (path effect/lin_effect.ml))))))
(library
 (name qcheck-lin.lin)
 (kind normal)
 (archives (byte lin/lin.cma) (native lin/lin.cmxa))
 (plugins (byte lin/lin.cma) (native lin/lin.cmxs))
 (native_archives lin/lin.a)
 (requires qcheck-core qcheck-core.runner qcheck-multicoretests-util)
 (main_module_name Lin)
 (modes byte native)
 (modules
  (singleton
   (obj_name lin)
   (visibility public)
   (source (path Lin) (intf (path lin/lin.mli)) (impl (path lin/lin.ml))))))
(library
 (name qcheck-lin.thread)
 (kind normal)
 (archives (byte thread/lin_thread.cma) (native thread/lin_thread.cmxa))
 (plugins (byte thread/lin_thread.cma) (native thread/lin_thread.cmxs))
 (native_archives thread/lin_thread.a)
 (requires
  threads
  qcheck-core
  qcheck-core.runner
  qcheck-multicoretests-util
  qcheck-lin.lin)
 (main_module_name Lin_thread)
 (modes byte native)
 (modules
  (singleton
   (obj_name lin_thread)
   (visibility public)
   (source
    (path Lin_thread)
    (intf (path thread/lin_thread.mli))
    (impl (path thread/lin_thread.ml))))))
