update opam and INSTALL.md

math-comp · Nov 11, 2020 · 7a688d4 · 7a688d4
1 parent 5c25df4
commit 7a688d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -45,7 +45,7 @@ $ opam install coq-mathcomp-analysis
 ```
 To install a precise version, type, say
 ```
-$ opam install coq-mathcomp-analysis.0.3.2
+$ opam install coq-mathcomp-analysis.0.3.3
 ```
 4. Everytime you want to work in this same context, you need to type
 ```

diff --git a/opam b/opam
@@ -36,5 +36,5 @@ tags: [
   "keyword: topology"
   "keyword: real numbers"
   "logpath: mathcomp.analysis"
-  "date:2020-08-11"
+  "date:2020-11-11"
 ]