[build] Fixup for result serapi problem.

ejgallego · Aug 29, 2024 · c02b80f · c02b80f
1 parent eed361c
commit c02b80f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -42,6 +42,9 @@ depends: [
   "ocamlfind" {>= "1.8.1"}
   "zarith" {>= "1.11"}
 
+  # result dep, fixed in main, but kept for older releases
+  "result"              { >= "1.5" }
+
   # serlib deps: see what we need to keep for release
   "ppx_deriving"        { >= "4.2.1"    }
   "ppx_deriving_yojson" { >= "3.4"      }

diff --git a/serlib_8_19/dune b/serlib_8_19/dune
@@ -9,4 +9,4 @@
    ppx_hash
    ppx_compare
    ppx_deriving_yojson))
- (libraries coq-core.stm sexplib))
+ (libraries result coq-core.stm sexplib))