tezos-hacl

Tezos: thin layer around hacl-star
Description
Install
Published
10 Aug 2022
Authors
Maintainers
Sources
tezos-v14.0.tar.bz2
sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1 sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd
Dependencies
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
ezjsonm >= "1.1.0"
ctypes >= "0.18.0"
hacl-star >= "0.4.2" & < "0.5"
ocaml >= "4.08"
dune >= "3.0"
Reverse Dependencies
scaml >= "1.5.0"
tezos-base = "14.0"
Conflicts