bump version in install.md

math-comp · Apr 1, 2021 · 5fa6a1e · 5fa6a1e
1 parent 633373d
commit 5fa6a1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -47,7 +47,7 @@ $ opam install coq-mathcomp-analysis
 ```
 To install a precise version, type, say
 ```
-$ opam install coq-mathcomp-analysis.0.3.6
+$ opam install coq-mathcomp-analysis.0.3.7
 ```
 4. Everytime you want to work in this same context, you need to type
 ```