hardcaml-affirm

Author andy.ray@ujamjar.com
Homepage https://github.com/ujamjar/hardcaml-affirm
Issue Tracker https://github.com/ujamjar/hardcaml-affirm/issues
Maintainer andy.ray@ujamjar.com
Dependencies
& astring
base-bytes
hardcaml >= 1.2.0& 2.0.0
hardcaml-bloop
hardcaml-waveterm >= 0.2
ocamlbuild
ocamlfind
sattools
topkg
Available ocaml-version >= "4.02.0"
Published Jan 6, 2017
Source [http] http://github.com/ujamjar/hardcaml-affirm/archive/v0.1.0.tar.gz
694d3db0dfcaeafa789ec184c72cbf34
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/hardcaml-affirm/hardcaml-affirm.0.1.0/opam

Verification tools for HardCaml

No package is dependent