We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4dc588f commit 3ea83bfCopy full SHA for 3ea83bf
README.md.mustache
@@ -98,7 +98,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
98
{{/ supported_ocaml_versions }}
99
- Additional dependencies:{{# dependencies }}
100
- {{& description }}{{/ dependencies }}{{^ dependencies }}{{^ dune }} none{{/ dune }}{{/ dependencies }}{{# dune }}
101
- - [Dune](https://dune.build) 2.5 or later{{/ dune }}
+ - [Dune](https://dune.build) 3.6 or later{{/ dune }}
102
{{# namespace }}
103
- Coq namespace: `{{ namespace }}`
104
{{/ namespace }}
0 commit comments