fix meta.yml

affeldt-aist · Feb 15, 2022 · 3e557bf · 3e557bf
1 parent 3eb1a83
commit 3e557bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ information theory, and linear error-correcting codes.
   - Takafumi Saikawa, Nagoya U.
   - Naruomi Obata, Titech (M2)
 - License: [LGPL-2.1-or-later](LICENSE)
-- Compatible Coq versions: Coq 8.13, Coq 8.14
+- Compatible Coq versions: Coq 8.13, Coq 8.14, Coq 8.15
 - Additional dependencies:
   - [MathComp ssreflect](https://math-comp.github.io)
   - [MathComp fingroup](https://math-comp.github.io)

diff --git a/meta.yml b/meta.yml
@@ -41,7 +41,7 @@ license:
 nix: true
 
 supported_coq_versions:
-  text: Coq 8.13, Coq 8.14
+  text: Coq 8.13, Coq 8.14, Coq 8.15
   opam: '{ (>= "8.13" & < "8.16~") | (= "dev") }'
 
 tested_coq_opam_versions: