package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.5.0.tar.gz
md5=340626ebd7668e41f2f7b51798e15dc4
sha512=37e3bcd29961a3e13634d76993ae4b01f56adf9a9145a4dc9c72f04fcf1430f0e9fe75fac46e9a645f36a5441ec15cb00ff5026b686c5e7ade5084bc88405552
Description
Documentation for this library can be found here.
Published: 14 Sep 2022
Dependencies (5)
-
cppo
build - zarith
-
hacl-star-raw
= version -
dune
>= "1.2" -
ocaml
>= "4.08.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (6)
-
blake3
>= "0.2" -
plebeia
>= "2.0.0" -
scaml
>= "1.5.0" -
tezos-crypto
>= "8.0" & < "10.2" - tezos-plompiler
- tezos-plonk
Conflicts
None
On This Page