diff --git a/README.md.mustache b/README.md.mustache index 5e93d6e..209b736 100644 --- 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 }}