6 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
Benjamin Canou	a838f5d55c	Fix OPAM dependencies	2018-06-19 04:00:09 +02:00
Vincent Bernardoff	68330036a1	Crypto: add test vectors for P256	2018-06-13 23:59:16 +00:00
Vincent Bernardoff	9d18f7846d	Crypto: disable P256 signing	2018-06-13 23:59:16 +00:00
Vincent Bernardoff	7df49b62e1	Crypto: import uecc	2018-06-13 23:59:16 +00:00