[build] Fixup for result serapi problem.

Author: ejgallego

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"      }

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))