diff --git a/dune-project b/dune-project
index 1da7492d7d..54ed811ddf 100644
--- a/dune-project
+++ b/dune-project
@@ -42,7 +42,7 @@
     (sha (>= 1.12))
     cpu
     arg-complete
-    yaml
+    (yaml (>= 3.0.0))
     uuidm
     catapult
     catapult-file
diff --git a/goblint.opam b/goblint.opam
index ce7df4a3b0..04e4b27f9d 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -39,7 +39,7 @@ depends: [
   "sha" {>= "1.12"}
   "cpu"
   "arg-complete"
-  "yaml"
+  "yaml" {>= "3.0.0"}
   "uuidm"
   "catapult"
   "catapult-file"