Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
@affeldt-aist
affeldt-aist committed Apr 28, 2022
1 parent b2bb8cf commit 6a2de72
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ in several examples of monadic equational reasoning.
- Celestine Sauvage
- Kazunari Tanaka
- License: [LGPL-2.1-or-later](LICENSE)
- Compatible Coq versions: Coq 8.14
- Compatible Coq versions: Coq 8.14 and 8.15
- Additional dependencies:
- [MathComp ssreflect](https://math-comp.github.io)
- [MathComp fingroup](https://math-comp.github.io)
Expand Down
2 changes: 1 addition & 1 deletion meta.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ license:
file: LICENSE

supported_coq_versions:
text: Coq 8.14
text: Coq 8.14 and 8.15
opam: '{ (>= "8.14" & < "8.16~") | (= "dev") }'

tested_coq_opam_versions:
Expand Down

0 comments on commit 6a2de72

Please sign in to comment.