remove cryptokit from deps

imandra-ai · Mar 20, 2024 · 5817710 · 5817710
1 parent 213fbfa
commit 5817710
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -22,7 +22,6 @@
    (>= 3.4))
   (iter
    (>= 1.0))
-  cryptokit
   logs
   base64
   uuidm

diff --git a/imandrakit.opam b/imandrakit.opam
@@ -14,7 +14,6 @@ depends: [
   "moonpool" {>= "0.6"}
   "containers" {>= "3.4"}
   "iter" {>= "1.0"}
-  "cryptokit"
   "logs"
   "base64"
   "uuidm"

diff --git a/src/core/dune b/src/core/dune
@@ -10,7 +10,6 @@
   containers
   iter
   logs
-  cryptokit
   ppx_deriving.runtime
   base64
   mtime
-Original file line number
+Diff line change
@@ Expand Up / @@ -22,7 +22,6 @@ @@
        (>= 3.4))
       (iter
        (>= 1.0))
-      cryptokit
       logs
       base64
       uuidm
@@ Expand Down @@