From 1562dd4804159303c8e8d3e0425b9ce513181171 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

---
 coq.opam.mustache       |  4 +---
 extracted.opam.mustache |  4 +---
 ref.yml                 | 18 +++++++++++++++---
 3 files changed, 17 insertions(+), 9 deletions(-)

diff --git a/coq.opam.mustache b/coq.opam.mustache
index e707bcd..90c8b5c 100644
--- 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
index 053cbdd..d866a18 100644
--- 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
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