From 5222da0de26b9843dfbb1b8462fabea9c0396714 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 7 Oct 2020 11:00:06 +0200
Subject: Update INSTALL.md

---
 INSTALL.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index f0103b7..c3ec1f6 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -18,13 +18,13 @@ Once your OPAM environment is configured
 you can install any math-comp package via
 ```
 opam repo add coq-released https://coq.inria.fr/opam/released
-opam pin add -n coq -k version 8.8.0
+opam pin add -n coq -k version 8.12.0
 opam install coq -j3
 opam install coq-mathcomp-ssreflect -j3
 ```
 Replace `ssreflect` here by the package you want, the dependencies will be
 installed automatically. We recommend pinning a particular version of Coq
-(we give `8.8.0` as an example, see `CHANGELOG.md` for the supported versions).
+(we give `8.12.0` as an example, see `CHANGELOG.md` for the supported versions).
 To get the latest development version you need to execute the following:
 ```
 opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
@@ -79,9 +79,9 @@ this file `INSTALL.md`) and that you have OPAM installed and
 configured with the standard Coq repositories.
 
 First, we recommend pinning a particular version of Coq
-(e.g. `8.8.0`):
+(e.g. `8.12.0`):
 ```
-opam pin add -n coq -k version 8.8.0
+opam pin add -n coq -k version 8.12.0
 ```
 
 Then for each math-comp package, pin the `opam` file:
-- 
cgit v1.2.3