From 0e98066b16b32bf64dfcfa481c8ff111a793a809 Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Tue, 26 May 2020 19:14:41 -0400
Subject: [PATCH] ref: clarify supported_coq_versions

---
 ref.yml | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/ref.yml b/ref.yml
index a228b01..56658a2 100644
--- 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