package "__private__" (
  directory = "__private__"
  package "CList" (
    directory = "CList"
    version = "0.9"
    description = ""
    requires = ""
    archive(byte) = "CList.cma"
    archive(native) = "CList.cmxa"
    plugin(byte) = "CList.cma"
    plugin(native) = "CList.cmxs"
  )
  package "lin_internal_tests_common" (
    directory = "lin_internal_tests_common"
    version = "0.9"
    description = ""
    requires = "multicoretests.__private__.CList qcheck-lin.lin"
    archive(byte) = "lin_internal_tests_common.cma"
    archive(native) = "lin_internal_tests_common.cmxa"
    plugin(byte) = "lin_internal_tests_common.cma"
    plugin(native) = "lin_internal_tests_common.cmxs"
  )
  package "lin_tests_common" (
    directory = "lin_tests_common"
    version = "0.9"
    description = ""
    requires = "multicoretests.__private__.CList qcheck-lin.lin"
    archive(byte) = "lin_tests_common.cma"
    archive(native) = "lin_tests_common.cmxa"
    plugin(byte) = "lin_tests_common.cma"
    plugin(native) = "lin_tests_common.cmxs"
  )
  package "lin_tests_spec_io" (
    directory = "lin_tests_spec_io"
    version = "0.9"
    description = ""
    requires = "qcheck-lin.lin"
    archive(byte) = "lin_tests_spec_io.cma"
    archive(native) = "lin_tests_spec_io.cmxa"
    plugin(byte) = "lin_tests_spec_io.cma"
    plugin(native) = "lin_tests_spec_io.cmxs"
  )
  package "stm_tests_ref_spec" (
    directory = "stm_tests_ref_spec"
    version = "0.9"
    description = ""
    requires = "qcheck-core qcheck-stm.stm"
    archive(byte) = "stm_tests_ref_spec.cma"
    archive(native) = "stm_tests_ref_spec.cmxa"
    plugin(byte) = "stm_tests_ref_spec.cma"
    plugin(native) = "stm_tests_ref_spec.cmxs"
  )
)