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

fix spurious bound

Browse source
This commit is contained in:
Simon Cruanes 2024-05-22 10:11:25 -04:00
parent 2b02a94eba
commit a947d255bf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dune-project
View file

@ -74,7 +74,7 @@
("eio" ("eio"
(and (and
(>= "1.0") (>= "1.0")
(< "1.0"))) (< "2.0")))
("lsp" ("lsp"
(and (and
(>= "1.17") (>= "1.17")