package hardcaml-affirm
Verification tools for HardCaml
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.0.tar.gz
md5=694d3db0dfcaeafa789ec184c72cbf34
Description
Published: 06 Jan 2017
Dependencies (10)
-
hardcaml-waveterm
>= "0.2" - hardcaml-bloop
- sattools
-
hardcaml
>= "1.2.0" & < "2.0.0" - astring
- base-bytes
-
topkg
build -
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.02.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page