diff --git a/flake.nix b/flake.nix
index 73f1d55bda63d49630eb6a8975a33eec0a7ac02c..dadbee743ff35b949aee6d08d667cd2cecd9ca2f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,7 +30,7 @@
             (nix-filter.lib.inDirectory "config")
             (nix-filter.lib.inDirectory "stdlib")
             (nix-filter.lib.inDirectory "doc")
-            (nix-filter.lib.inDirectory "logging")
+            (nix-filter.lib.inDirectory "utils")
           ];
         };
       };
diff --git a/lib/ir/dune b/lib/ir/dune
index f212db4335405824a71a20a386450ef1724f9be2..4b24a3c65ed0361e03b848784b354903c0435023 100644
--- a/lib/ir/dune
+++ b/lib/ir/dune
@@ -11,7 +11,7 @@
    ppx_deriving.iter
    ppx_deriving.fold))
  (inline_tests)
- (libraries base ocamlgraph fmt stdio caisar.utils.log))
+ (libraries base ocamlgraph fmt stdio caisar_logging))
 
 (env
  (dev
diff --git a/lib/nnet/dune b/lib/nnet/dune
index e6d8d31052749e6e616ce51042a7cb89f3209d6a..b6180d7c1db4d993685be8a0962965b65928005e 100644
--- a/lib/nnet/dune
+++ b/lib/nnet/dune
@@ -1,5 +1,5 @@
 (library
  (name nnet)
  (public_name caisar.nnet)
- (libraries base csv caisar.utils.log)
+ (libraries base csv caisar_logging)
  (synopsis "NNet parser for CAISAR"))
diff --git a/lib/onnx/dune b/lib/onnx/dune
index b2bcb09c3d8d48c8b7a2ffcc7d80efe065e49450..37c850e320bf54e59c3e528fff0eb51c7c141c26 100644
--- a/lib/onnx/dune
+++ b/lib/onnx/dune
@@ -1,7 +1,7 @@
 (library
  (name onnx)
  (public_name caisar.onnx)
- (libraries base stdio ocaml-protoc-plugin ocplib-endian caisar.ir caisar.utils.log)
+ (libraries base stdio ocaml-protoc-plugin ocplib-endian caisar.ir caisar_logging)
  (synopsis "ONNX parser for CAISAR"))
 
 (rule
diff --git a/lib/ovo/dune b/lib/ovo/dune
index 5317286959ae9c64f989b70b7856cfbc482977df..690e65caab398c0cfe78c701859fb57c658a11e1 100644
--- a/lib/ovo/dune
+++ b/lib/ovo/dune
@@ -1,5 +1,5 @@
 (library
  (name ovo)
  (public_name caisar.ovo)
- (libraries base csv caisar.utils.log)
+ (libraries base csv caisar_logging)
  (synopsis "OVO parser for CAISAR"))
diff --git a/lib/xgboost/dune b/lib/xgboost/dune
index 6ad494f1d25c210b3e61c96bec4a28df37324413..d0ad55cf48ea992657c041c8c63f32cf41254ea8 100644
--- a/lib/xgboost/dune
+++ b/lib/xgboost/dune
@@ -4,4 +4,4 @@
  (preprocess
   (pps ppx_deriving.show ppx_deriving_yojson))
  (flags -w -30)
- (libraries csv caisar.utils.log))
+ (libraries csv caisar_logging))
diff --git a/src/autodetect.ml b/src/autodetect.ml
index 3c3f38e2927e6dda623156dcdf43477b4b6fc346..9446e271087ac99b3f108d2f2063be5c3b338ce2 100644
--- a/src/autodetect.ml
+++ b/src/autodetect.ml
@@ -22,6 +22,7 @@
 
 open Why3
 open Base
+module Logging = Caisar_logging.Logging
 
 let rec lookup_file dirs filename =
   match dirs with
diff --git a/src/dune b/src/dune
index 6d61dd7e89ac32ddc3bd367a6d3fd4619bb805a9..88921d5222f6e1cbcb02981a7c5e5a159b210816 100644
--- a/src/dune
+++ b/src/dune
@@ -21,7 +21,7 @@
   yaml.unix
   fpath
   zarith
-  caisar.utils.log
+  caisar_logging
   caisar.xgboost)
  (preprocess
   (pps
diff --git a/src/interpretation/interpreter.ml b/src/interpretation/interpreter.ml
index 128ec43ae21132f9523436a8d8a006c9fa5408a7..ff82e5154b70eb8aee80353fdd714329340e5685 100644
--- a/src/interpretation/interpreter.ml
+++ b/src/interpretation/interpreter.ml
@@ -23,6 +23,7 @@
 module IRE = Interpreter_reduction_engine
 module ITypes = Interpreter_types
 open Base
+module Logging = Caisar_logging.Logging
 
 let builtin_of_constant env known_map (name, value) =
   let decls =
diff --git a/src/interpretation/interpreter_theory.ml b/src/interpretation/interpreter_theory.ml
index 55b568874eb4ce649da5d6fc46339b9557776d12..cc9d55f1fef5310f49d79752e2c06e9a9fa502ef 100644
--- a/src/interpretation/interpreter_theory.ml
+++ b/src/interpretation/interpreter_theory.ml
@@ -22,6 +22,7 @@
 
 module IRE = Interpreter_reduction_engine
 module ITypes = Interpreter_types
+module Logging = Caisar_logging.Logging
 open Base
 
 (* TODO: Remove this and use common one. *)
diff --git a/src/main.ml b/src/main.ml
index d9b804129873fa285e5bd4ff8bc9ce7626a274b5..f4f0fec1e52c41b2439100ca17846c35d45c4c83 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -22,6 +22,7 @@
 
 open Base
 open Cmdliner
+module Logging = Caisar_logging.Logging
 
 let caisar = "caisar"
 
diff --git a/src/proof_strategy.ml b/src/proof_strategy.ml
index 29a9789bdef572f737995d5fab85154c2bddc7be..e40381da4b23d467db80f6f304bec921a73515c8 100644
--- a/src/proof_strategy.ml
+++ b/src/proof_strategy.ml
@@ -22,6 +22,7 @@
 
 open Base
 open Why3
+module Logging = Caisar_logging.Logging
 
 let sls_model ~lookup sls =
   let rec aux acc term =
diff --git a/src/saver.ml b/src/saver.ml
index 39e18c4761dc39fbb5c88872f26169cbefd7f949..09716783db4ff24356a59c30060123f1cd98814f 100644
--- a/src/saver.ml
+++ b/src/saver.ml
@@ -22,6 +22,7 @@
 
 open Why3
 open Base
+module Logging = Caisar_logging.Logging
 
 let src = Logs.Src.create "SAVer" ~doc:"SAVer prover"
 
diff --git a/src/transformations/nn2smt.ml b/src/transformations/nn2smt.ml
index 34e4cca61ea6ce0cf69eb1f7ac4bdaa76fb19b1e..a17c51980ea187d768b947b87cfc3f7de1ae1dc0 100644
--- a/src/transformations/nn2smt.ml
+++ b/src/transformations/nn2smt.ml
@@ -22,6 +22,7 @@
 
 open Base
 module IR = Ir.Nier_simple
+module Logging = Caisar_logging.Logging
 
 let src =
   Logs.Src.create "NN2SMT" ~doc:"Encoding of neural networks into SMT-LIB"
diff --git a/src/transformations/utils.ml b/src/transformations/utils.ml
index 8638ff6a954795b532fe0215164b883a7fae3b67..10cba74ca18c1939bc51258a5b0dd950c4eb5fac 100644
--- a/src/transformations/utils.ml
+++ b/src/transformations/utils.ml
@@ -21,6 +21,7 @@
 (**************************************************************************)
 
 open Base
+module Logging = Caisar_logging.Logging
 
 let src = Logs.Src.create "TransformationsUtils" ~doc:"Transformation utils"
 
diff --git a/src/verification.ml b/src/verification.ml
index 45e6cb6ec5eb948216065f33d7bba0ca2f8f2276..1eb9278ab177569800b0106ba137417ba925013f 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -22,6 +22,7 @@
 
 open Why3
 open Base
+module Logging = Caisar_logging.Logging
 
 module File = struct
   type t =
diff --git a/utils/dune b/utils/dune
index 5a11529b6f0743d5e8f9fd460549f15822e10f83..a70bed45a80178d4c3ebaa4256f5184b220e882a 100644
--- a/utils/dune
+++ b/utils/dune
@@ -1,5 +1,5 @@
 (library
- (name logging)
- (public_name caisar.utils.log)
+ (name caisar_logging)
+ (package caisar)
  (libraries base csv logs logs.cli logs.fmt fmt why3)
  (synopsis "Logging utilities for CAISAR"))