search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

Dune 3.6 #131

Closed liyishuai closed 2 months ago

liyishuai commented 2 months ago

Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version.

palmskog commented 2 months ago

@liyishuai see discussion here for why I think Dune-Coq 0.8 and later should not be used: https://github.com/coq-community/manifesto/issues/87#issuecomment-1619803762

palmskog commented 2 months ago

@liyishuai for the record, we could still update to Dune-Coq 0.6 and require Dune 3.6 or later.

There should be a discussion around Dune-Coq 1.0 soon that hopefully solves the transitive dependency issue in the future.