From 869aaaafc923940e80ff47b6691c7c56b873520e Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 31 Jan 2020 12:02:01 -0600
Subject: [PATCH] update opam and README from templates

---
 README.md            | 5 +++--
 coq-aac-tactics.opam | 2 +-
 meta.yml             | 4 +++-
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 26405fe..e7d73b2 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,7 @@
 [gitter-shield]: https://img.shields.io/badge/chat-on%20gitter-%23c1272d.svg
 [gitter-link]: https://gitter.im/coq-community/Lobby
 
+
 [doi-shield]: https://zenodo.org/badge/DOI/10.1007/978-3-642-25379-9_14.svg
 [doi-link]: https://doi.org/10.1007/978-3-642-25379-9_14
 
@@ -39,8 +40,8 @@ provided with the plugin.
   - Karl Palmskog ([**@palmskog**](https://github.com/palmskog))
 - License: [GNU Lesser General Public License v3.0 or later](LICENSE)
 - Compatible Coq versions: 8.11 (use the corresponding branch or release for other Coq versions)
-- Compatible OCaml versions: all versions supported by Coq
-- Additional Coq dependencies: none
+- Compatible OCaml versions: 4.05.0 or later
+- Additional dependencies: none
 - Coq namespace: `AAC_tactics`
 - Related publication(s):
   - [Tactics for Reasoning modulo AC in Coq](https://arxiv.org/abs/1106.4448) doi:[10.1007/978-3-642-25379-9_14](https://doi.org/10.1007/978-3-642-25379-9_14)
diff --git a/coq-aac-tactics.opam b/coq-aac-tactics.opam
index 4349b3e..6aff1f1 100644
--- a/coq-aac-tactics.opam
+++ b/coq-aac-tactics.opam
@@ -19,7 +19,7 @@ provided with the plugin."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "ocaml"
+  "ocaml" {>= "4.05.0"}
   "coq" {>= "8.11" & < "8.12~"}
 ]
 
diff --git a/meta.yml b/meta.yml
index 00330d8..641757b 100644
--- a/meta.yml
+++ b/meta.yml
@@ -45,7 +45,9 @@ license:
   fullname: GNU Lesser General Public License v3.0 or later
   identifier: LGPL-3.0-or-later
 
-plugin: true
+supported_ocaml_versions:
+  text: 4.05.0 or later
+  opam: '{>= "4.05.0"}'
 
 supported_coq_versions:
   text: 8.11 (use the corresponding branch or release for other Coq versions)