hacl-star-raw
Auto-generated low-level OCaml bindings for EverCrypt/HACL*
Description
This package contains a snapshot of the EverCrypt crypto provider and
the HACL* library, along with automatically generated Ctypes bindings.
For a higher-level idiomatic API see the hacl-star package, of
which hacl-star-raw is a dependency.
Install
- Published
- 16 Nov 2022
- Authors
- Maintainers
Sources
hacl-star.0.6.1.tar.gz
md5=12562af72483908a86ca38845d30c25b
sha512=410b25fedcd0f8790cda7021237cf5ebf43d770566c86b697da301b18a5b36da347ae20f84544b38a593a55185e7959308a8a369edfc64d09fadb4896c20e0e0
Dependencies
conf-cmake
build
conf-which
build
ctypes
>= "0.18.0"
ocamlfind
build
dune
>= "1.2"
ocaml
>= "4.08.0"
Reverse Dependencies
hacl-star
= "0.6.1"