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) = "lin_domain.cmxa"
  plugin(byte) = "lin_domain.cma"
  plugin(native) = "lin_domain.cmxs"
)
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) = "lin_effect.cmxa"
  plugin(byte) = "lin_effect.cma"
  plugin(native) = "lin_effect.cmxs"
)
package "lin" (
  directory = "lin"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-core.runner qcheck-multicoretests-util"
  archive(byte) = "lin.cma"
  archive(native) = "lin.cmxa"
  plugin(byte) = "lin.cma"
  plugin(native) = "lin.cmxs"
)
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) = "lin_thread.cmxa"
  plugin(byte) = "lin_thread.cma"
  plugin(native) = "lin_thread.cmxs"
)