package "domain" (
  directory = "domain"
  version = "0.11"
  description = ""
  requires =
  "qcheck-core qcheck-core.runner qcheck-lin.lin qcheck-multicoretests-util"
  archive(byte) = "lin_domain.cma"
  archive(native) = ""
  plugin(byte) = "lin_domain.cma"
  plugin(native) = ""
)
package "effect" (
  directory = "effect"
  version = "0.11"
  description = ""
  requires =
  "qcheck-core qcheck-core.runner qcheck-lin.lin qcheck-multicoretests-util"
  archive(byte) = "lin_effect.cma"
  archive(native) = ""
  plugin(byte) = "lin_effect.cma"
  plugin(native) = ""
)
package "lin" (
  directory = "lin"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-core.runner qcheck-multicoretests-util"
  archive(byte) = "lin.cma"
  archive(native) = ""
  plugin(byte) = "lin.cma"
  plugin(native) = ""
)
package "thread" (
  directory = "thread"
  version = "0.11"
  description = ""
  requires =
  "qcheck-core
   qcheck-core.runner
   qcheck-lin.lin
   qcheck-multicoretests-util
   threads"
  archive(byte) = "lin_thread.cma"
  archive(native) = ""
  plugin(byte) = "lin_thread.cma"
  plugin(native) = ""
)