Updated README

hivert · Jan 8, 2025 · 9c84a15 · 9c84a15
1 parent b6db373
commit 9c84a15
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -55,10 +55,10 @@ All these files are still largely experimental
 
 To compile it I'm using the following opam packages:
 ```
-coq-hierarchy-builder     1.7.0
-coq-mathcomp-ssreflect    2.2.0
-coq-mathcomp-algebra      2.2.0
-coq-mathcomp-multinomials 2.2.0
-coq-mathcomp-classical    1.0.0
+coq-hierarchy-builder     1.8.0
+coq-mathcomp-ssreflect    2.3.0
+coq-mathcomp-algebra      2.3.0
+coq-mathcomp-multinomials 2.3.0
+coq-mathcomp-classical    1.8.0
 ```