From cd4098e57fbf6dff0081f03d65a42619b0048181 Mon Sep 17 00:00:00 2001
From: lin <linoshitani@gmail.com>
Date: Mon, 9 Sep 2024 01:03:11 +0800
Subject: [PATCH] Add missing dependency to hacl-star

---
 dune-project  | 1 +
 zukelang.opam | 1 +
 2 files changed, 2 insertions(+)

diff --git a/dune-project b/dune-project
index 2874c70..7a2472e 100644
--- a/dune-project
+++ b/dune-project
@@ -23,6 +23,7 @@
    (bls12-381 (= "6.1.0"))
    (ppx_yojson_conv (>= "v0.16.0"))
    ppx_yojson_conv_lib
+   hacl-star
    hex
    ppxlib)
  (version "1.0.0"))
diff --git a/zukelang.opam b/zukelang.opam
index 1083fd7..5fb08f3 100644
--- a/zukelang.opam
+++ b/zukelang.opam
@@ -15,6 +15,7 @@ depends: [
   "bls12-381" {= "6.1.0"}
   "ppx_yojson_conv" {>= "v0.16.0"}
   "ppx_yojson_conv_lib"
+  "hacl-star"
   "hex"
   "ppxlib"
   "odoc" {with-doc}