diff --git a/dune-project b/dune-project index 5fb65a1..6c49294 100644 --- a/dune-project +++ b/dune-project @@ -62,32 +62,34 @@ (moonpool multicore thread logs logging))) (package - (name imandrakit-io) - (synopsis "IO utils for Imandra") + (name imandrakit-log) + (synopsis "Logging utils for Imandra") (depends (ocaml (>= 4.13)) (imandrakit (= :version)) + hmap + dune (moonpool (>= 0.6)) + logs + thread-local-storage (trace-tef :with-test) (odoc :with-doc))) (package - (name imandrakit-log) - (synopsis "Logging utils for Imandra") + (name imandrakit-io) + (synopsis "IO utils for Imandra") (depends (ocaml (>= 4.13)) (imandrakit (= :version)) - hmap - dune + (imandrakit-log + (= :version)) (moonpool (>= 0.6)) - logs - thread-local-storage (trace-tef :with-test) (odoc :with-doc))) diff --git a/imandrakit-io.opam b/imandrakit-io.opam index 4059ffb..b7c3751 100644 --- a/imandrakit-io.opam +++ b/imandrakit-io.opam @@ -11,6 +11,7 @@ depends: [ "dune" {>= "3.0"} "ocaml" {>= "4.13"} "imandrakit" {= version} + "imandrakit-log" {= version} "moonpool" {>= "0.6"} "trace-tef" {with-test} "odoc" {with-doc}