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