Add result < 1.5 conflict to goblint 2.0.0

sim642 · sim642 · commit 9ddc8dec84cb · 2022-08-18T15:34:53.000+03:00
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -47,6 +47,9 @@ depends: [
   "conf-gcc"
 ]
 depopts: ["apron" "z3"]
+conflicts: [
+  "result" {< "1.5"}
+]
 build: [
   ["dune" "subst"] {dev}
   [
