version = "0.5.0"
description = ""
requires = "containers oseq"
archive(byte) = "dscheck.cma"
archive(native) = "dscheck.cmxa"
plugin(byte) = "dscheck.cma"
plugin(native) = "dscheck.cmxs"