package hacl-star
OCaml API for EverCrypt/HACL*
Install
Dune Dependency
Authors
Maintainers
Sources
hacl-star.0.6.0.tar.gz
md5=1ab1ada1189c4e61ddda06275cc3093f
sha512=710645d22a22f5d276a26019bda8f137861e3f0dc1f9e170eb9d25c88dc84293af01fd40923181a28a063a9b8d281cb51e28c7016144f7c8bb1d63b18797fbe1
Description
Documentation for this library can be found here.
Published: 04 Nov 2022
Dependencies (5)
-
cppo
build
- zarith
-
hacl-star-raw
= version
-
dune
>= "1.2"
-
ocaml
>= "4.08.0"
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page