Merge pull request #132 from coq-community/dune-3.6

README: Dune 3.6

Author: palmskog

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 }}