Format

coq · Jan 24, 2025 · 7e4244b · 7e4244b
1 parent 304ffec
commit 7e4244b
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/src/dune b/src/dune
@@ -2,13 +2,13 @@
  (public_name deploy-rocq-prover_org)
  (name main)
  (libraries
-   ppx_deriving_yojson.runtime
-    current
-    current_git
-    current_github
-    current_web
-    current_docker
-    lwt.unix
-    prometheus-app.unix)
-(preprocess
-  (pps ppx_deriving.std ppx_deriving_yojson)))
+  ppx_deriving_yojson.runtime
+  current
+  current_git
+  current_github
+  current_web
+  current_docker
+  lwt.unix
+  prometheus-app.unix)
+ (preprocess
+  (pps ppx_deriving.std ppx_deriving_yojson)))