From 73ac438056877fe508a7142eac34a4b7f9c9aa3b Mon Sep 17 00:00:00 2001
From: Aqissiaq <aqissiaq@gmail.com>
Date: Wed, 24 Jan 2024 12:15:42 +0100
Subject: [PATCH] one more try at this template stuff

---
 README.md               | 1 +
 coq-abs-metatheory.opam | 1 +
 meta.yml                | 1 +
 3 files changed, 3 insertions(+)

diff --git a/README.md b/README.md
index edbfe96..e5302f2 100644
--- a/README.md
+++ b/README.md
@@ -21,6 +21,7 @@ Formal metatheory in Coq for the ABS language.
   - Karl Palmskog
 - Compatible Coq versions: 8.16 or later
 - Additional dependencies:
+  - [Ott Coq library](https://github.com/ott-lang/ott) 0.33 or later
   - [Equations Coq library](https://github.com/mattam82/Coq-Equations) 1.3 or later
 - Coq namespace: `ABS`
 - Related publication(s):
diff --git a/coq-abs-metatheory.opam b/coq-abs-metatheory.opam
index 36fa21f..4cd89fe 100644
--- a/coq-abs-metatheory.opam
+++ b/coq-abs-metatheory.opam
@@ -19,6 +19,7 @@ install: [make "install"]
 depends: [
   "coq" {>= "8.16"}
   "coq-ott" {>= "0.33"}
+  "coq-equations" {>= "1.3"}
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index 579a4c8..45c5eac 100644
--- a/meta.yml
+++ b/meta.yml
@@ -34,6 +34,7 @@ dependencies:
   description: |-
     [Ott Coq library](https://github.com/ott-lang/ott) 0.33 or later
 
+- opam:
     name: coq-equations
     version: '{>= "1.3"}'
   description: |-