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