conflict with result < 1.5

Halbaroth · Sep 11, 2023 · d5fbe7b · d5fbe7b
1 parent 29009d2
commit d5fbe7b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -46,3 +46,7 @@ license: [
   "LicenseRef-OCamlpro-Non-Commercial"
   "Apache-2.0"
 ]
+
+conflicts: [
+  "result" {< "1.5"}
+]
diff --git a/alt-ergo.opam.template b/alt-ergo.opam.template
@@ -6,3 +6,7 @@ license: [
   "LicenseRef-OCamlpro-Non-Commercial"
   "Apache-2.0"
 ]
+
+conflicts: [
+  "result" {< "1.5"}
+]