one more try at this template stuff

kth-step · Jan 24, 2024 · 73ac438 · 73ac438
1 parent 5c02d8e
commit 73ac438
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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: |-