ref: clarify supported_coq_versions

coq-community · May 26, 2020 · 0e98066 · 0e98066
1 parent 73f8047
commit 0e98066
Showing 1 changed file with 15 additions and 3 deletions.
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