ligo/ocaml-hacl at 8012bdca658c3b9978c3231c47786291c1020768 - ligo

History

Grégoire Henry dbf4736e6b Opam: update package description to opam.2.0 Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com> Co-authored-by: Gregoire Henry <gregoire.henry@tezos.com>		2019-01-21 17:54:19 +01:00
..
src	vendors,hacl: use more generic gcc options	2018-10-11 18:36:35 +02:00
test	Hacl: add HMAC_SHA512	2018-08-20 11:56:34 +02:00
hacl.opam	Opam: update package description to opam.2.0	2019-01-21 17:54:19 +01:00
readme.md	hacl: build system for 32 bits architecture	2018-06-06 09:57:26 +02:00

Tezos binding for Hacl* https://github.com/mitls/hacl-star/tree/master/snapshots/tezos commit b69319a0d3b71af8042f487d6a5bac8101edf2d0