From 4efffb414dfbcc70ad02e5dc804eddaeaa6211d5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 15 May 2023 17:38:25 +0200
Subject: [PATCH] [opam] fix Yaml minimal bound

---
 opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam b/opam
index 47baec13174..74395ea3e80 100644
--- a/opam
+++ b/opam
@@ -123,6 +123,7 @@ depends: [
   "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "why3" { >= "1.6.0" }
+  "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
   "zarith" { >= "1.5" }
 
-- 
GitLab