package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

OCaml API for EverCrypt/HACL*

Install

Dune Dependency

hacl-star.github.io Changelog Edit opam file Versions (21)

Authors

V

Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Maintainers

V

Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>

Sources

hacl-star.0.1.1.tar.gz

md5=b593874d70983135344cd0a3f3119c6f

sha512=d627f94c8ad8d378981d6daa07c77cde1a036f1244a6ecd2b75dfc51dab457ae8057adee98bef0ca0d947fc379d3054cf31eab8199f0f0a8edbdc87d11d9de25

CHANGES.md.html

0.1.1

Support for ARM

0.1

The first release of the OCaml API for HACL*