package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.4.4.tar.gz
md5=cab04a1971aeab8531e58398fba589f6
sha256=621aa0955c009f7e642e1a5f2ffd949ffe6651073afc90833e2a28e67eaf3bc6
sha512=f25d7e160c8596bf21b686071b973a467c5bafed125aef41b4432fedfa8037e274c923999211e47f2f93840058d92ace805c8970111efde4cb31c7cdac77cf5f
Description
Documentation for this library can be found here.
Published: 07 Dec 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" - tezos-plompiler
- tezos-plonk
Conflicts
None
On This Page