hacl-star

OCaml API for EverCrypt/HACL*
Description

Documentation for this library can be found here.

Install
Published
01 Dec 2022
Authors
Maintainers
Sources
hacl-star.0.6.2.tar.gz
md5=1d8449a395cf9f0ade232da306b2316f sha512=0aa0afc951b30164aca98100ad528f13129566957a3db26bac3c1975c264c4dece01c2b918ad2f9d1b8b563b13044c85ecfdcbced13aee915e4b9d61bff25bf5
Dependencies
odoc with-doc
alcotest with-test & >= "1.1.0"
cppo build
hacl-star-raw = version
dune >= "1.2"
ocaml >= "4.08.0"
Reverse Dependencies
blake3 >= "0.2"
plebeia >= "2.0.0"
scaml >= "1.5.0"
tezos-crypto >= "8.0" & < "10.2"