depend on yojson

imandra-ai · Mar 21, 2024 · 3128fda · 3128fda
1 parent 073ff1a
commit 3128fda
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -29,6 +29,7 @@
   atomic
   hmap
   thread-local-storage
+  (yojson (>= 1.6))
   camlzip
   (mtime
    (>= 2.0))

diff --git a/imandrakit.opam b/imandrakit.opam
@@ -21,6 +21,7 @@ depends: [
   "atomic"
   "hmap"
   "thread-local-storage"
+  "yojson" {>= "1.6"}
   "camlzip"
   "mtime" {>= "2.0"}
   "zarith" {>= "1.12"}
-Original file line number
+Diff line change
@@ Expand Up / @@ -29,6 +29,7 @@ @@
       atomic
       hmap
       thread-local-storage
+      (yojson (>= 1.6))
       camlzip
       (mtime
        (>= 2.0))
@@ Expand Down @@