Update opam

vscoqbot · web-flow · commit 4e2d730789b9 · 2023-09-20T17:01:51.000+02:00
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.0.1+coq8.18/opam b/packages/vscoq-language-server/vscoq-language-server.2.0.1+coq8.18/opam
@@ -25,6 +25,7 @@ depends: [
   "sexplib"
   "ppx_yojson_conv"
   "ppx_import"
+  "result" { >= "1.5" }
   "lsp" { >= "1.15"}
   "sel" {>= "0.4.0"}
 ]
