NumLin icon indicating copy to clipboard operation
NumLin copied to clipboard

Update dune-project to fix build issue with recent dune versions

Open mseri opened this issue 3 years ago • 0 comments

The menhir 2.0 language extension was introduced in dune 1.4, recent versions of dune check this and fail to build the project

mseri avatar Jan 21 '23 15:01 mseri