tezos-hacl

Tezos: thin layer around hacl-star
Description
Install
Published
15 Nov 2022
Authors
Maintainers
Sources
download
sha256=c877d89e9fed2012aa6b541232f54723294d1356baa75bf8af99362ade8d6557 sha512=a7c37b9e3095978d16c7b82e377deca1d2edda1c441cd031f93c4e5d9d0d95ed8b2198d8a99d10407ef923559b8a7e422f61c3d3393f56fcc791bd073e3ca4fb
Dependencies
hacl-star >= "0.4.2" & < "0.5"
ezjsonm >= "1.1.0"
ctypes >= "0.18.0"
tezos-test-helpers with-test & = version
qcheck-alcotest with-test & >= "0.18"
data-encoding with-test & >= "0.6" & < "0.7"
zarith with-test & >= "1.12" & < "1.13"
tezos-error-monad with-test & = version
tezos-stdlib with-test & = version
ocaml >= "4.14"
dune >= "3.0"
Reverse Dependencies
Conflicts