From 84d762053f7fec944107c35c322e4786d976d0cb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 22 May 2023 08:17:41 +0200
Subject: [PATCH] [opam] fix yaml dependencies
---
opam | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/opam b/opam
index 2087a57b17d..765ae370970 100644
--- a/opam
+++ b/opam
@@ -123,13 +123,14 @@ 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" }
# PPXs
"ppx_deriving"
"ppx_deriving_yojson"
- "ppx_deriving_yaml"
+ "ppx_deriving_yaml" { >= "0.2.0" }
"ppx_import"
# GTK3 for non-macos only
--
GitLab