diff --git a/alt-ergo.opam b/alt-ergo.opam
index cab36cf82..283915db8 100644
--- 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
index 2c020caaf..10a631910 100644
--- 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"}
+]