simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-05 19:00:34 -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 • committed by GitHub
parent 29992156b6
commit 23bc4b8d11
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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"
(and
(>= "1.0")
(< "1.0")))
(< "2.0")))
("lsp"
(and
(>= "1.17")