diff --git a/config/dune b/config/dune
index fd50a8bc2938e6591c4eadcfabe13f5281899ad9..4398e3dca7dcf0af0c46d0b0923bce5182889c8c 100644
--- a/config/dune
+++ b/config/dune
@@ -1,8 +1,10 @@
 (install
- (section (site (caisar config)))
- (files caisar-detection-data.conf
-        (drivers/pyrat.drv as drivers/pyrat.drv)
-        (drivers/marabou.drv as drivers/marabou.drv)
-        (drivers/saver.drv as drivers/saver.drv)
- )
-(package caisar))
+ (section
+  (site
+   (caisar config)))
+ (files
+  caisar-detection-data.conf
+  (drivers/pyrat.drv as drivers/pyrat.drv)
+  (drivers/marabou.drv as drivers/marabou.drv)
+  (drivers/saver.drv as drivers/saver.drv))
+ (package caisar))
diff --git a/lib/nnet/dune b/lib/nnet/dune
index 78df3604bfeb0dc9f446c94830734467a33770d1..6674a9ec4282b70f92cbd6da799fd90ac915ddd0 100644
--- a/lib/nnet/dune
+++ b/lib/nnet/dune
@@ -1,6 +1,5 @@
 (library
-  (name nnet)
-  (public_name caisar-nnet)
-  (libraries base csv)
-  (synopsis "NNet parser for CAISAR")
-)
+ (name nnet)
+ (public_name caisar-nnet)
+ (libraries base csv)
+ (synopsis "NNet parser for CAISAR"))
diff --git a/lib/onnx/dune b/lib/onnx/dune
index 707eb2ddacf480fc55451b333b8d44b9f06b1e56..1008baf43c6b2f5790fbed38985ca6e9e364c3ca 100644
--- a/lib/onnx/dune
+++ b/lib/onnx/dune
@@ -1,12 +1,11 @@
 (library
-  (name onnx)
-  (public_name caisar-onnx)
-  (libraries base stdio ocaml-protoc-plugin)
-  (synopsis "ONNX parser for CAISAR")
-)
+ (name onnx)
+ (public_name caisar-onnx)
+ (libraries base stdio ocaml-protoc-plugin)
+ (synopsis "ONNX parser for CAISAR"))
 
 (rule
-  (deps onnx_protoc.proto generate_onnx_interface.sh)
-  (targets onnx_protoc.ml)
-  (action (run ./generate_onnx_interface.sh))
-)
+ (deps onnx_protoc.proto generate_onnx_interface.sh)
+ (targets onnx_protoc.ml)
+ (action
+  (run ./generate_onnx_interface.sh)))
diff --git a/lib/ovo/dune b/lib/ovo/dune
index 919b62e475c9bbe60e42e3fb2ed194d83de0916e..65525220415adc6ac4b107ec54f4e06f9d701e2d 100644
--- a/lib/ovo/dune
+++ b/lib/ovo/dune
@@ -1,6 +1,5 @@
 (library
-  (name ovo)
-  (public_name caisar-ovo)
-  (libraries base csv)
-  (synopsis "OVO parser for CAISAR")
-)
+ (name ovo)
+ (public_name caisar-ovo)
+ (libraries base csv)
+ (synopsis "OVO parser for CAISAR"))
diff --git a/src/dune b/src/dune
index 2a6a24748525a3921081dcc7ebc06042d5fffe67..16397dcccc24f73f2946c29373a9cfeae4f9ff68 100644
--- a/src/dune
+++ b/src/dune
@@ -1,13 +1,34 @@
 (executable
-  (name main)
-  (public_name caisar)
-  (libraries menhirLib yojson cmdliner logs logs.cli logs.fmt fmt.tty base unix str ppx_deriving_yojson.runtime nnet onnx ovo why3 dune-site re)
-  (preprocess (pps ppx_deriving_yojson ppx_deriving.show ppx_deriving.ord ppx_deriving.eq))
-  (package caisar)
-)
+ (name main)
+ (public_name caisar)
+ (libraries
+  menhirLib
+  yojson
+  cmdliner
+  logs
+  logs.cli
+  logs.fmt
+  fmt.tty
+  base
+  unix
+  str
+  ppx_deriving_yojson.runtime
+  nnet
+  onnx
+  ovo
+  why3
+  dune-site
+  re)
+ (preprocess
+  (pps
+   ppx_deriving_yojson
+   ppx_deriving.show
+   ppx_deriving.ord
+   ppx_deriving.eq))
+ (package caisar))
 
 (include_subdirs unqualified)
 
 (generate_sites_module
-  (module dirs)
-  (sites caisar))
+ (module dirs)
+ (sites caisar))
diff --git a/stdlib/dune b/stdlib/dune
index ddb41974d6913934cd4b012521419b823e292ccd..f1d9fa74d11b355d516bcd7fd324e1b30e3242b1 100644
--- a/stdlib/dune
+++ b/stdlib/dune
@@ -1,4 +1,6 @@
 (install
- (section (site (caisar stdlib)))
+ (section
+  (site
+   (caisar stdlib)))
  (files caisar.mlw)
-(package caisar))
+ (package caisar))
diff --git a/tests/dune b/tests/dune
index a99e393b5197ae909350dfe66d9f66ba56ed5dba..9e2e5eafc3f263f1bf4bde94d54cc9a0cdd9599b 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,12 +1,10 @@
 (cram
-  (deps
-    (package caisar)
-    TestNetwork.nnet
-    TestNetworkONNX.onnx
-    TestSVM.ovo
-    bin/pyrat.py
-    bin/Marabou
-    bin/saver
-  )
+ (deps
   (package caisar)
-)
+  TestNetwork.nnet
+  TestNetworkONNX.onnx
+  TestSVM.ovo
+  bin/pyrat.py
+  bin/Marabou
+  bin/saver)
+ (package caisar))