# OASIS_START
# DO NOT EDIT (digest: 295906064115a853cec073cd5c2b5dbf)
version = "0.5.3.1"
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

