version = "0.25"
description = ""
requires = "unix"
archive(byte) = "qcheck_core.cma"
archive(native) = ""
plugin(byte) = "qcheck_core.cma"
plugin(native) = ""
package "runner" (
  directory = "runner"
  version = "0.25"
  description = ""
  requires = "qcheck-core"
  archive(byte) = "qcheck_runner.cma"
  archive(native) = ""
  plugin(byte) = "qcheck_runner.cma"
  plugin(native) = ""
)