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 Jan 19, 2024
1 parent 7183d3e commit a2c580d
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,11 +35,11 @@ the Coq proof-assistant and using the Mathematical Components library.
- License: [CeCILL-C](LICENSE)
- Compatible Coq versions: Coq 8.15 to 8.18 (or dev)
- Additional dependencies:
- [MathComp ssreflect 1.13 or later](https://math-comp.github.io)
- [MathComp fingroup 1.13 or later](https://math-comp.github.io)
- [MathComp algebra 1.13 or later](https://math-comp.github.io)
- [MathComp solvable 1.15 or later](https://math-comp.github.io)
- [MathComp field 1.13 or later](https://math-comp.github.io)
- [MathComp ssreflect 1.17 or later](https://math-comp.github.io)
- [MathComp fingroup 1.17 or later](https://math-comp.github.io)
- [MathComp algebra 1.17 or later](https://math-comp.github.io)
- [MathComp solvable 1.17 or later](https://math-comp.github.io)
- [MathComp field 1.17 or later](https://math-comp.github.io)
- [MathComp finmap 1.5.1](https://github.com/math-comp/finmap)
- [MathComp bigenough 1.0.0](https://github.com/math-comp/bigenough)
- [Hierarchy Builder >= 1.2.0](https://github.com/math-comp/hierarchy-builder)
Expand Down

0 comments on commit a2c580d

Please sign in to comment.