opam - hacl-star (original) (raw)
hacl-starversion
- 0.1
- 0.1.1
- 0.2.0
- 0.2.1
- 0.2.2
- 0.3.0
- 0.3.0-1
- 0.3.2
- 0.4.0
- 0.4.1
- 0.4.2
- 0.4.3
- 0.4.4
- 0.4.5
- 0.5.0
- 0.6.0
- 0.6.1
- 0.6.2
- 0.7.0
- 0.7.1
- 0.7.2 (latest)
OCaml API for EverCrypt/HACL*
Documentation for this library can be foundhere.
| Author | Project Everest |
|---|---|
| License | Apache-2.0 |
| Published | Sep 27, 2024 |
| Homepage | https://cryspen.com/hacl-packages/ |
| Issue Tracker | https://github.com/cryspen/hacl-packages/issues |
| Maintainer | Victor Dumitrescu victor.dumitrescu@nomadic-labs.com |
| Dependencies | ocaml>=4.08.0dune>=1.2hacl-star-raw=0.7.2zarithcppobuildalcotestwith-test & >=1.8.0qcheck-corewith-test & >=0.20secp256k1-internalwith-testcstructwith-testodocwith-doc |
| Source [http] | https://github.com/cryspen/hacl-packages/releases/download/ocaml-v0.7.2/hacl-star.0.7.2.tar.gzmd5=8c2afd2d2fb163ec6c885243f757c70csha512=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
- tezos-hacl>=17.3
- tezos-plompiler
- tezos-plonk