From e5bc76b068d6e1bc5389f5d988c7a17701875d2a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 23 Jan 2024 13:56:32 +0000
Subject: [PATCH] Update file opam
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index ea9769f87fc..bcd121993c0 100644
--- a/opam
+++ b/opam
@@ -128,7 +128,7 @@ depends: [
"conf-time" { with-test }
"menhir" { >= "20181006" & build }
"ocaml" { >= "4.13.1" }
- "ocamlgraph" { >= "1.8.8" }
+ "ocamlgraph" { >= "2.0.0" }
"ocamlgraph" { with-test & >= "2.1.0" }
"odoc" { with-doc }
"unionFind" { >= "20220107" }
--
GitLab