package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.4.2.tar.gz
md5=3943fe14935f8e9bad3a9d27fb24b19c
sha256=8211bde8a49c9bc63013be5059655fe820d2f03a54d9ff8cf1663754d985ba58
sha512=8a75a3e23da06c3edf9e43b7557bf1a816b65fb3b68bc7b458beab6d95a447f40f03dad9cf63fc2d46fae50d4f58b95680dc0b48dfd64612b64ea9d9157555a8
Description
Documentation for this library can be found here.
Published: 12 Oct 2021
Dependencies (5)
-
cppo
build - zarith
-
hacl-star-raw
= version -
dune
>= "1.2" -
ocaml
>= "4.08.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (7)
-
blake3
= "0.2" -
scaml
>= "1.5.0" -
tezos-crypto
>= "8.0" & < "10.2" -
tezos-hacl
< "16.0" -
tezos-hacl-glue-unix
>= "11.0" & < "12.0" - tezos-plompiler
- tezos-plonk
Conflicts
None
On This Page