From 7a688d4d022b72b393955755fe9e1f2f889b0d13 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Thu, 12 Nov 2020 00:04:55 +0900
Subject: [PATCH] update opam and INSTALL.md

---
 INSTALL.md | 2 +-
 opam       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index ae04aa4b9..e277333af 100644
--- 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
index dc6a0b573..51e14cdd9 100644
--- 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"
 ]