From 85d5fc11581978a17125d4a2e71e9b602870c332 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 8 Aug 2024 18:43:49 +0200
Subject: [PATCH] [dev] add ocp-indent to dev-setup dependencies
---
opam | 1 +
1 file changed, 1 insertion(+)
diff --git a/opam b/opam
index d0553bc169..cb524aa9e2 100644
--- a/opam
+++ b/opam
@@ -132,6 +132,7 @@ depends: [
"ocaml" { >= "4.14.0" }
"ocamlgraph" { >= "2.0.0" }
"ocamlgraph" { with-test & >= "2.1.0" }
+ "ocp-indent" { with-dev-setup & >= "1.8.1" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
"why3" { >= "1.7.1" & (< "1.8.0" | !with-test) }
--
GitLab