tezos-hacl-glue-unix

Tezos: thin layer of glue around hacl-star (unix implementation)
Description
Install
Published
16 Sep 2021
Sources
tezos-v10.2.tar.bz2
sha256=6b33e0549574c89a63538c94ce5555dd141e3c0fb5d934abff07d702fa3244d2
sha512=681a197baabec6e2f806871d43490382243207518f8fcf932741cd314d8717e46db2b6a5adc222f8726083a5dd911083b4931b7e878ab815f8f1a32763d1bf93
Dependencies
hacl-star
>= "0.3.0" & < "0.4.0"
ctypes
>= "0.18.0"
dune
>= "2.5"
Reverse Dependencies