package "domain" (
  directory = "domain"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-stm.stm"
  archive(byte) = "STM_domain.cma"
  archive(native) = "STM_domain.cmxa"
  plugin(byte) = "STM_domain.cma"
  plugin(native) = "STM_domain.cmxs"
)
package "sequential" (
  directory = "sequential"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-stm.stm"
  archive(byte) = "STM_sequential.cma"
  archive(native) = "STM_sequential.cmxa"
  plugin(byte) = "STM_sequential.cma"
  plugin(native) = "STM_sequential.cmxs"
)
package "stm" (
  directory = "stm"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-multicoretests-util"
  archive(byte) = "STM.cma"
  archive(native) = "STM.cmxa"
  plugin(byte) = "STM.cma"
  plugin(native) = "STM.cmxs"
)
package "thread" (
  directory = "thread"
  version = "0.11"
  description = ""
  requires = "qcheck-core qcheck-stm.stm threads"
  archive(byte) = "STM_thread.cma"
  archive(native) = "STM_thread.cmxa"
  plugin(byte) = "STM_thread.cma"
  plugin(native) = "STM_thread.cmxs"
)