simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Better constraints

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2025-01-30 14:29:49 +00:00
parent a45fa943fd
commit 1ed72b1788
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3
4 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
dune-project
View file

@ -31,12 +31,12 @@
("lsp"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
atomic
("jsonrpc"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
("ocaml"
(>= "4.14"))
("odoc" :with-doc)))
@ -57,11 +57,11 @@
("lsp"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
("jsonrpc"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
("odoc" :with-doc)))
(package
@ -82,9 +82,9 @@
("lsp"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
("jsonrpc"
(and
(>= "1.19")
(<= "1.22")))
(< "1.23")))
("odoc" :with-doc)))

4
linol-eio.opam
View file

@ -14,8 +14,8 @@ depends: [
"base-unix"
"eio" {>= "1.0" & < "2.0"}
"eio_main" {with-test}
"lsp" {>= "1.19" & <= "1.22"}
"jsonrpc" {>= "1.19" & <= "1.22"}
"lsp" {>= "1.19" & < "1.23"}
"jsonrpc" {>= "1.19" & < "1.23"}
"odoc" {with-doc}
]
build: [

4
linol-lwt.opam
View file

@ -13,8 +13,8 @@ depends: [
"linol" {= version}
"base-unix"
"lwt" {>= "5.1" & < "6.0"}
"lsp" {>= "1.19" & <= "1.22"}
"jsonrpc" {>= "1.19" & <= "1.22"}
"lsp" {>= "1.19" & < "1.23"}
"jsonrpc" {>= "1.19" & < "1.23"}
"odoc" {with-doc}
]
build: [

4
linol.opam
View file

@ -12,9 +12,9 @@ depends: [
"yojson" {>= "1.6"}
"logs"
"trace" {>= "0.4"}
"lsp" {>= "1.19" & <= "1.22"}
"lsp" {>= "1.19" & < "1.23"}
"atomic"
"jsonrpc" {>= "1.19" & <= "1.22"}
"jsonrpc" {>= "1.19" & < "1.23"}
"ocaml" {>= "4.14"}
"odoc" {with-doc}
]