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://tech.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.0/hacl-star.0.7.0.tar.gz md5=7025737929629b3b48618fd6eea8b5df sha512=76052c875eff2cb3cfeeb337c92f3b270a55c538ac4574dd9dfaa8d6a18d2ad1bed1a3a632e1b800f3edcc4c10467ababcb6f33fd1ec36678d16900110eb8ced |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hacl-star/hacl-star.0.7.0/opam |
Required by
- blake3>=0.2
- 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