From 6f9cc3aca5bb0e5684268a7283796a9272ed5f9d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 25 Nov 2015 15:58:03 +0100
Subject: Advertising that CoqIDE requires lablgtk >= 2.16

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

diff --git a/INSTALL.ide b/INSTALL.ide
index 6e41b2d051..b651e77db4 100644
--- a/INSTALL.ide
+++ b/INSTALL.ide
@@ -39,7 +39,7 @@ COMPILATION REQUIREMENTS
   install GTK+ 2.x, should you need to force it for one reason
   or another.)
 - The OCaml bindings for GTK+ 2.x, lablgtk2 with support for gtksourceview2.
-  You need at least version 2.14.2.
+  You need at least version 2.16.
 
   Your distribution may contain precompiled packages. For example, for
   Debian, run
-- 
cgit v1.2.3