hacl-starversion
OCaml API for EverCrypt/HACL*
Documentation for this library can be found here.
Author | Project Everest |
---|---|
License | Apache-2.0 |
Published | |
Homepage | https://cryspen.com/hacl-packages/ |
Issue Tracker | https://github.com/cryspen/hacl-packages/issues |
Maintainer | Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com> |
Available | os = "freebsd" | os-family != "bsd" |
Dependencies |
|
Source [http] | https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.7.1/hacl-star.0.7.1.tar.gz md5=192bca3819b9e21b39a0d38f02081d39 sha512=28c3f43af0bfeb3976ca11f8cb8ac38694165fd2c897b9048515b02a2116aff8aa45c37c8e475dc172dc7c964a8712beb94ba149426c2caeda1659312347e0b2 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hacl-star/hacl-star.0.7.1/opam |
Required by
- blake3>=0.2
- octez-libs
- octez-plompiler
- octez-plonk
- plebeia>=2.0.0
- scaml>=1.5.0
- tezos-crypto>=8.0 & <10.2
- tezos-hacl>=17.1
- tezos-plompiler
- tezos-plonk