(lang dune 3.20)
(name multicoretests)
(version 0.11)
(sections
 (lib /usr/lib/i386-linux-gnu/ocaml/5.4.0/multicoretests)
 (doc /usr/doc/multicoretests))
(files
 (lib
  (META
   __private__/CList/.public_cmi/cList.cmi
   __private__/CList/.public_cmi/cList.cmt
   __private__/CList/CList.cma
   __private__/CList/CList.ml
   __private__/lin_internal_tests_common/.public_cmi/lin_internal_tests_common.cmi
   __private__/lin_internal_tests_common/.public_cmi/lin_internal_tests_common.cmt
   __private__/lin_internal_tests_common/lin_internal_tests_common.cma
   __private__/lin_internal_tests_common/lin_internal_tests_common.ml
   __private__/lin_tests_common/.public_cmi/lin_tests_common.cmi
   __private__/lin_tests_common/.public_cmi/lin_tests_common.cmt
   __private__/lin_tests_common/lin_tests_common.cma
   __private__/lin_tests_common/lin_tests_common.ml
   __private__/lin_tests_spec_io/.public_cmi/lin_tests_spec_io.cmi
   __private__/lin_tests_spec_io/.public_cmi/lin_tests_spec_io.cmt
   __private__/lin_tests_spec_io/lin_tests_spec_io.cma
   __private__/lin_tests_spec_io/lin_tests_spec_io.ml
   __private__/stm_tests_ref_spec/.public_cmi/stm_tests_ref_spec.cmi
   __private__/stm_tests_ref_spec/.public_cmi/stm_tests_ref_spec.cmt
   __private__/stm_tests_ref_spec/stm_tests_ref_spec.cma
   __private__/stm_tests_ref_spec/stm_tests_ref_spec.ml
   dune-package
   opam))
 (doc (CHANGES.md LICENSE README.md)))
(library
 (name multicoretests.__private__.CList)
 (kind normal)
 (archives (byte __private__/CList/CList.cma))
 (plugins (byte __private__/CList/CList.cma))
 (main_module_name CList)
 (modes byte)
 (obj_dir
  (public_cmi_ocaml_dir .public_cmi)
  (public_cmi_melange_dir melange/.public_cmi_melange))
 (modules
  (singleton
   (obj_name cList)
   (visibility public)
   (source (path CList) (impl (path __private__/CList/CList.ml))))))
(library
 (name multicoretests.__private__.lin_internal_tests_common)
 (kind normal)
 (archives
  (byte __private__/lin_internal_tests_common/lin_internal_tests_common.cma))
 (plugins
  (byte __private__/lin_internal_tests_common/lin_internal_tests_common.cma))
 (requires multicoretests.__private__.CList qcheck-lin.lin)
 (main_module_name Lin_internal_tests_common)
 (modes byte)
 (obj_dir
  (public_cmi_ocaml_dir .public_cmi)
  (public_cmi_melange_dir melange/.public_cmi_melange))
 (modules
  (singleton
   (obj_name lin_internal_tests_common)
   (visibility public)
   (source
    (path Lin_internal_tests_common)
    (impl
     (path __private__/lin_internal_tests_common/lin_internal_tests_common.ml))))))
(library
 (name multicoretests.__private__.lin_tests_common)
 (kind normal)
 (archives (byte __private__/lin_tests_common/lin_tests_common.cma))
 (plugins (byte __private__/lin_tests_common/lin_tests_common.cma))
 (requires multicoretests.__private__.CList qcheck-lin.lin)
 (main_module_name Lin_tests_common)
 (modes byte)
 (obj_dir
  (public_cmi_ocaml_dir .public_cmi)
  (public_cmi_melange_dir melange/.public_cmi_melange))
 (modules
  (singleton
   (obj_name lin_tests_common)
   (visibility public)
   (source
    (path Lin_tests_common)
    (impl (path __private__/lin_tests_common/lin_tests_common.ml))))))
(library
 (name multicoretests.__private__.lin_tests_spec_io)
 (kind normal)
 (archives (byte __private__/lin_tests_spec_io/lin_tests_spec_io.cma))
 (plugins (byte __private__/lin_tests_spec_io/lin_tests_spec_io.cma))
 (requires qcheck-lin.lin)
 (main_module_name Lin_tests_spec_io)
 (modes byte)
 (obj_dir
  (public_cmi_ocaml_dir .public_cmi)
  (public_cmi_melange_dir melange/.public_cmi_melange))
 (modules
  (singleton
   (obj_name lin_tests_spec_io)
   (visibility public)
   (source
    (path Lin_tests_spec_io)
    (impl (path __private__/lin_tests_spec_io/lin_tests_spec_io.ml))))))
(library
 (name multicoretests.__private__.stm_tests_ref_spec)
 (kind normal)
 (archives (byte __private__/stm_tests_ref_spec/stm_tests_ref_spec.cma))
 (plugins (byte __private__/stm_tests_ref_spec/stm_tests_ref_spec.cma))
 (requires qcheck-core qcheck-stm.stm)
 (main_module_name Stm_tests_ref_spec)
 (modes byte)
 (obj_dir
  (public_cmi_ocaml_dir .public_cmi)
  (public_cmi_melange_dir melange/.public_cmi_melange))
 (modules
  (singleton
   (obj_name stm_tests_ref_spec)
   (visibility public)
   (source
    (path Stm_tests_ref_spec)
    (impl (path __private__/stm_tests_ref_spec/stm_tests_ref_spec.ml))))))
