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> |
Dependencies |
|
Source [http] | https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.7.2/hacl-star.0.7.2.tar.gz md5=8c2afd2d2fb163ec6c885243f757c70c sha512=3195917cbafe1849281b776c1f9e52c229d9041922ac3dbcc6557241b9c9156bb405dcd9fbe41edbfe224bc7e5dd269f3fe2a7bef6d566daa5fd2662963296c0 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hacl-star/hacl-star.0.7.2/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