From c053787e4bdfc28711b0c92416ff3afdca4aecf5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 9 Aug 2019 03:54:20 +0200
Subject: [ci] Update to OCaml 4.08.1

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index e7a9ea4ab2..e82ecf68f8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -9,7 +9,7 @@ WHAT DO YOU NEED ?
 
    - OCaml (version >= 4.05.0)
      (available at https://ocaml.org/)
-     (This version of Coq has been tested up to OCaml 4.08.0)
+     (This version of Coq has been tested up to OCaml 4.08.1)
 
    - The Num package, which used to be part of the OCaml standard library,
      if you are using an OCaml version >= 4.06.0
-- 
cgit v1.2.3