vscoq: add constraint on lsp version

voodoos · voodoos · commit e3eb3fe99e2d · 2024-07-31T11:07:01.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
@@ -26,7 +26,7 @@ depends: [
   "ppx_yojson_conv"
   "ppx_import"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.0.2+coq8.18/opam b/packages/vscoq-language-server/vscoq-language-server.2.0.2+coq8.18/opam
@@ -26,7 +26,7 @@ depends: [
   "ppx_yojson_conv"
   "ppx_import"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.0.3+coq8.18/opam b/packages/vscoq-language-server/vscoq-language-server.2.0.3+coq8.18/opam
@@ -26,7 +26,7 @@ depends: [
   "ppx_yojson_conv"
   "ppx_import"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.1.0+coq8.19/opam b/packages/vscoq-language-server/vscoq-language-server.2.1.0+coq8.19/opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.1.2/opam b/packages/vscoq-language-server/vscoq-language-server.2.1.2/opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.1.3/opam b/packages/vscoq-language-server/vscoq-language-server.2.1.3/opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"
diff --git a/packages/vscoq-language-server/vscoq-language-server.2.1.4/opam b/packages/vscoq-language-server/vscoq-language-server.2.1.4/opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" & < "1.19.0" }
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ depends: [`
`26`	`26`	`"ppx_yojson_conv"`
`27`	`27`	`"ppx_import"`
`28`	`28`	`"result" { >= "1.5" }`
`29`		`- "lsp" { >= "1.15"}`
	`29`	`+ "lsp" { >= "1.15" & < "1.19.0" }`
`30`	`30`	`"sel" {>= "0.4.0"}`
`31`	`31`	`]`
`32`	`32`	`synopsis: "VSCoq language server"`
Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ depends: [`
`27`	`27`	`"ppx_import"`
`28`	`28`	`"ppx_optcomp"`
`29`	`29`	`"result" { >= "1.5" }`
`30`		`- "lsp" { >= "1.15"}`
	`30`	`+ "lsp" { >= "1.15" & < "1.19.0" }`
`31`	`31`	`"sel" {>= "0.4.0"}`
`32`	`32`	`]`
`33`	`33`	`synopsis: "VSCoq language server"`