From fd092e36fe2927adc284af3f37d900aa3ab1f763 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= <edwin.torok@cloud.com>
Date: Mon, 11 Sep 2023 15:23:23 +0100
Subject: [PATCH] goblint: fix lower bound on yaml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

See build failure at https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/b49e6de20d0a04ef393c2e153d87d6e00f63c455

'opam-ci' would otherwise try 'yaml.1.0.0' which doesn't work:

```
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build goblint 2.1.0
+-
```

Signed-off-by: Edwin Török <edwin@etorok.net>
---
 dune-project | 2 +-
 goblint.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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"