ref: clarify supported_coq_versions

coq-community · May 26, 2020 · 1562dd4 · 1562dd4
1 parent 73f8047
commit 1562dd4
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 9 deletions.
diff --git a/coq.opam.mustache b/coq.opam.mustache
@@ -18,9 +18,7 @@ depends: [
 {{# supported_ocaml_versions }}
   "ocaml" {{& opam }}
 {{/ supported_ocaml_versions }}
-{{# supported_coq_versions }}
-  "coq" {{& opam }}
-{{/ supported_coq_versions }}
+  "coq" {{& supported_coq_versions.opam }}
 {{# dependencies }}
 {{# opam }}
   "{{ name }}" {{& version }}

diff --git a/extracted.opam.mustache b/extracted.opam.mustache
@@ -16,9 +16,7 @@ depends: [
 {{# extracted_supported_ocaml_versions }}
   "ocaml" {{& opam }}
 {{/ extracted_supported_ocaml_versions }}
-{{# supported_coq_versions }}
-  "coq" {{& opam }}
-{{/ supported_coq_versions }}
+  "coq" {{& supported_coq_versions.opam }}
 {{# dependencies }}
 {{# opam }}
   "{{ name }}" {{& version }}

diff --git a/ref.yml b/ref.yml
@@ -116,7 +116,15 @@ keys:
             used:
               - README.md
         - opam:
-            required: true
+            required: false
+            description: >
+              Version formula including curly brackets:
+              https://opam.ocaml.org/doc/Manual.html#Common-file-format
+              Quote the string, otherwise confuse the parser.
+            examples:
+              - '{ >= "8.10" }'
+            used:
+              - coq.opam
             used:
               - coq.opam
               - extracted.opam
@@ -129,8 +137,6 @@ keys:
               - README.md
         - opam:
             required: true
-            used:
-              - coq.opam
   - plugin:
       type: bool
       used:
@@ -252,6 +258,9 @@ keys:
                     Docker tag supported by coqorg/coq:
                     https://github.com/coq-community/docker-coq/wiki#supported-tags
                     Quote the strings, otherwise '8.10' becomes '8.1'.
+                  examples:
+                    - '8.11'
+                    - 'dev'
             used:
               - .travis.yml
   - documentation:
@@ -283,6 +292,9 @@ keys:
               Docker tag supported by coqorg/coq:
               https://github.com/coq-community/docker-coq/wiki#supported-tags
               Quote the strings, otherwise '8.10' becomes '8.1'.
+            examples:
+              - '8.11'
+              - 'dev'
       used:
         - .travis.yml
         - coq-action.yml