4 Commits

Author	SHA1	Message	Date
Grégoire Henry	87e0de9826	Dune: use the new syntax	2018-08-01 10:52:24 +02:00
Grégoire Henry	5362b321d9	Dune: rename s/jbuild/dune/	2018-08-01 10:32:12 +02:00
Pierre Boutillier	330b670d59	Test a sequence of update in Hash.SHA256	2018-06-06 15:33:22 +02:00
Marco Stronati	07a97ab94a	Vendors: add ocaml-hacl binding for HACL* crypto library	2018-05-17 10:02:48 +02:00