package hardcaml-affirm

You can search for identifiers within the package.

in-package search v0.2.0

Verification tools for HardCaml

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

A

andy.ray@ujamjar.com

Maintainers

A

andy.ray@ujamjar.com

Sources

sha256=bf4e029f99dd33171d8cd4f62f08a591438ed9cd6680a45fee14b0163ccc56ee

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

Description
Dependencies (10)
Dev Dependencies
Used by
Conflicts