From c02b80f6988415485b72d8f82fe5f21d696155bd Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 29 Aug 2024 16:12:17 +0200
Subject: [PATCH] [build] Fixup for result serapi problem.

---
 coq-lsp.opam     | 3 +++
 serlib_8_19/dune | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/coq-lsp.opam b/coq-lsp.opam
index 917bdecb..2c1172ad 100644
--- 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
index bd22ae5a..8d1620e4 100644
--- 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))