README: Dune 3.6

coq-community · Oct 9, 2024 · 3ea83bf · 3ea83bf
1 parent 4dc588f
commit 3ea83bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md.mustache b/README.md.mustache
@@ -98,7 +98,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 {{/ supported_ocaml_versions }}
 - Additional dependencies:{{# dependencies }}
   - {{& description }}{{/ dependencies }}{{^ dependencies }}{{^ dune }} none{{/ dune }}{{/ dependencies }}{{# dune }}
-  - [Dune](https://dune.build) 2.5 or later{{/ dune }}
+  - [Dune](https://dune.build) 3.6 or later{{/ dune }}
 {{# namespace }}
 - Coq namespace: `{{ namespace }}`
 {{/ namespace }}