X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=c0a15fdff2588b0a9eda000febbe9842d9f52a03;hb=f5095492128c6ed72d5ad0db396809bebc5b7a91;hp=5e486ebc87962dd9d6aa71a7955ab3191939a95f;hpb=ab97e700f033db654e2f44919c73973d13b0c522;p=pspp

diff --git a/INSTALL b/INSTALL
index 5e486ebc87..c0a15fdff2 100644
--- a/INSTALL
+++ b/INSTALL
@@ -87,7 +87,7 @@ use the GUI, you must run `configure' with --without-gui.
       0.18 and 0.19 have a bug that will prevent library detection,
       but other versions should be fine.
 
-    * GTK+ (http://www.gtk.org/), version 3.4.0 or later.
+    * GTK+ (http://www.gtk.org/), version 3.14.5 or later.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
       version 3.4.0 or later.