(lang dune 3.20)
(name qcheck-stm)
(version 0.11)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm)
 (libexec /usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm)
 (doc /usr/doc/qcheck-stm))
(files
 (lib
  (META
   domain/STM_domain.a
   domain/STM_domain.cma
   domain/STM_domain.cmxa
   domain/STM_domain.ml
   domain/STM_domain.mli
   domain/sTM_domain.cmi
   domain/sTM_domain.cmt
   domain/sTM_domain.cmti
   domain/sTM_domain.cmx
   dune-package
   opam
   sequential/STM_sequential.a
   sequential/STM_sequential.cma
   sequential/STM_sequential.cmxa
   sequential/STM_sequential.ml
   sequential/STM_sequential.mli
   sequential/sTM_sequential.cmi
   sequential/sTM_sequential.cmt
   sequential/sTM_sequential.cmti
   sequential/sTM_sequential.cmx
   stm/STM.a
   stm/STM.cma
   stm/STM.cmxa
   stm/STM.ml
   stm/STM.mli
   stm/sTM.cmi
   stm/sTM.cmt
   stm/sTM.cmti
   stm/sTM.cmx
   thread/STM_thread.a
   thread/STM_thread.cma
   thread/STM_thread.cmxa
   thread/STM_thread.ml
   thread/STM_thread.mli
   thread/sTM_thread.cmi
   thread/sTM_thread.cmt
   thread/sTM_thread.cmti
   thread/sTM_thread.cmx))
 (libexec
  (domain/STM_domain.cmxs
   sequential/STM_sequential.cmxs
   stm/STM.cmxs
   thread/STM_thread.cmxs))
 (doc (CHANGES.md LICENSE README.md odoc-pages/index.mld)))
(library
 (name qcheck-stm.domain)
 (kind normal)
 (archives (byte domain/STM_domain.cma) (native domain/STM_domain.cmxa))
 (plugins (byte domain/STM_domain.cma) (native domain/STM_domain.cmxs))
 (native_archives domain/STM_domain.a)
 (requires qcheck-core qcheck-stm.stm)
 (main_module_name STM_domain)
 (modes byte native)
 (modules
  (singleton
   (obj_name sTM_domain)
   (visibility public)
   (source
    (path STM_domain)
    (intf (path domain/STM_domain.mli))
    (impl (path domain/STM_domain.ml))))))
(library
 (name qcheck-stm.sequential)
 (kind normal)
 (archives
  (byte sequential/STM_sequential.cma)
  (native sequential/STM_sequential.cmxa))
 (plugins
  (byte sequential/STM_sequential.cma)
  (native sequential/STM_sequential.cmxs))
 (native_archives sequential/STM_sequential.a)
 (requires qcheck-core qcheck-stm.stm)
 (main_module_name STM_sequential)
 (modes byte native)
 (modules
  (singleton
   (obj_name sTM_sequential)
   (visibility public)
   (source
    (path STM_sequential)
    (intf (path sequential/STM_sequential.mli))
    (impl (path sequential/STM_sequential.ml))))))
(library
 (name qcheck-stm.stm)
 (kind normal)
 (archives (byte stm/STM.cma) (native stm/STM.cmxa))
 (plugins (byte stm/STM.cma) (native stm/STM.cmxs))
 (native_archives stm/STM.a)
 (requires qcheck-core qcheck-multicoretests-util)
 (main_module_name STM)
 (modes byte native)
 (modules
  (singleton
   (obj_name sTM)
   (visibility public)
   (source (path STM) (intf (path stm/STM.mli)) (impl (path stm/STM.ml))))))
(library
 (name qcheck-stm.thread)
 (kind normal)
 (archives (byte thread/STM_thread.cma) (native thread/STM_thread.cmxa))
 (plugins (byte thread/STM_thread.cma) (native thread/STM_thread.cmxs))
 (native_archives thread/STM_thread.a)
 (requires threads qcheck-core qcheck-stm.stm)
 (main_module_name STM_thread)
 (modes byte native)
 (modules
  (singleton
   (obj_name sTM_thread)
   (visibility public)
   (source
    (path STM_thread)
    (intf (path thread/STM_thread.mli))
    (impl (path thread/STM_thread.ml))))))
