# OASIS_START
# DO NOT EDIT (digest: d58f83315faefc54e55d53b9cc5ced45)
version = "0.5.2"
description = "QuickCheck inspired property based testing"
requires = "unix bytes oUnit"
archive(byte) = "qcheck.cma"
archive(byte, plugin) = "qcheck.cma"
archive(native) = "qcheck.cmxa"
archive(native, plugin) = "qcheck.cmxs"
exists_if = "qcheck.cma"
# OASIS_STOP

