[opam] Keep conflict with result, as it can be pulled randomly in Opa…

…m CI
ejgallego · Oct 5, 2024 · e690bed · e690bed
1 parent c4ab154
commit e690bed
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -53,6 +53,10 @@ depends: [
   "ppx_hash"            { >= "v0.15.0" & < "v0.18" }
 ]
 
+# older results get in mess with ppx_deriving, we cannot control how
+# it gets pulled, often in min-bound rev-dep, so we conflict with it
+conflicts: [ "result" { < "1.5" } ]
+
 depopts: ["lwt" "logs"]
 
 build: [