diff --git a/vendors/ocaml-hacl/hacl.opam b/vendors/ocaml-hacl/hacl.opam index 6018e2c5c..422a68364 100644 --- a/vendors/ocaml-hacl/hacl.opam +++ b/vendors/ocaml-hacl/hacl.opam @@ -14,6 +14,8 @@ depends: [ "zarith" {>= "1.7"} "alcotest" {test & >= "0.8.1"} "hex" {test & >= "1.2.0"} + "base" + "stdio" ] build: [ "jbuilder" "build" "-j" jobs "-p" name "@install" ] build-test: [ "jbuilder" "runtest" "-p" name "-j" jobs ]