refine deps and readme

imandra-ai · Mar 21, 2024 · 5d1cd5b · 5d1cd5b
1 parent 71192e7
commit 5d1cd5b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 7 deletions.
diff --git a/README.md b/README.md
@@ -5,8 +5,7 @@
 
 This is the core library used to build some of Imandra's projects.
 
-It builds on top of [containers](https://github.com/c-cube/ocaml-containers/)
-and [Moonpool](https://github.com/c-cube/moonpool/).
+It builds on top of [containers](https://github.com/c-cube/ocaml-containers/), [Moonpool](https://github.com/c-cube/moonpool/), as well as `mtime`, `ptime`, `logs`, `hmap`, `base64`, `uuidm`, and `ppx_deriving`.
 
 ## License
 

diff --git a/dune-project b/dune-project
@@ -33,11 +33,9 @@
   camlzip
   (mtime
    (>= 2.0))
-  (zarith
-   (>= 1.12))
   ppx_deriving
-  (qcheck-core (and (>= 0.18) :with-test))
   (trace (>= 0.7))
+  (qcheck-core (and (>= 0.18) :with-test))
   (trace-tef :with-test)
   (ocaml-lsp-server :with-dev-setup)
   (ocamlformat (and (= 0.24.1) :with-dev-setup))

diff --git a/imandrakit.opam b/imandrakit.opam
@@ -24,10 +24,9 @@ depends: [
   "yojson" {>= "1.6"}
   "camlzip"
   "mtime" {>= "2.0"}
-  "zarith" {>= "1.12"}
   "ppx_deriving"
-  "qcheck-core" {>= "0.18" & with-test}
   "trace" {>= "0.7"}
+  "qcheck-core" {>= "0.18" & with-test}
   "trace-tef" {with-test}
   "ocaml-lsp-server" {with-dev-setup}
   "ocamlformat" {= "0.24.1" & with-dev-setup}