Preprocessor for Ocf library
Description

Install

Documentation zoggy.frama.io Readme GPL-3.0-only License Edit opam file

Published

13 Dec 2021

Authors

Maintainers

Sources

ocf-0.8.0.tar.gz
md5=bb91b5331d9ace68ccbd5be7f775a4fe
sha512=b9b1ce82ff370222b74429b28748c99b5b78c657e8c8b273d404ba9c17df2cd48274aad4d16b4748ecdbd1402cb8fad4136122cdf617b8ca1d6256a09efe2161

Dependencies

odoc with-doc
ppxlib >= "0.23.0"
ocf = version
dune >= "2.9"

Reverse Dependencies

stog >= "0.20.0"

Conflicts

None