hacl-starversion
OCaml API for EverCrypt/HACL*
Author | Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com> |
---|---|
License | Apache-2.0 |
Published | |
Homepage | https://hacl-star.github.io/ |
Issue Tracker | https://github.com/hacl-star/hacl-star/issues |
Maintainer | Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com> |
Available | os-family != "bsd" |
Dependencies |
|
Source [http] | https://github.com/hacl-star/hacl-star/releases/download/ocaml-v0.3.2/hacl-star.0.3.2.tar.gz md5=5b3cb04bdcd3ede759ac9e31125dffde sha512=272070750040651742f81ee7ef64e4aab5421e65e5e66030341fb60cf134273f79f8cf81d75cc62056d523b184e75866e01a40d332b418c3a9071c4f87d21710 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hacl-star/hacl-star.0.3.2/opam |
Required by
- blake3with-test & =0.2
- scaml>=1.5.0
- tezos-crypto>=8.0 & <10.2
- tezos-hacl-glue-unix<11.0