diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 23:20:22 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 23:20:22 +0200 |
commit | df35025b2be4a0dc9aadecc0e3110a21012683cf (patch) | |
tree | 651edf043619488ad054b4601bae50d9a337adc7 /INSTALL.ide | |
parent | 860b56472ae5ef7312a0a61a250f0a510c1e16b8 (diff) | |
parent | ec741e8bb1bdf69f0be4bb6b594560af57f8811c (diff) |
Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 26c192baa..c4da84048 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -22,7 +22,7 @@ Else, read the rest of this document to compile your own CoqIde. COMPILATION REQUIREMENTS -- OCaml >= 4.02.1 with native threads support. +- OCaml >= 4.02.3 with native threads support. - make world must succeed. - The graphical toolkit GTK+ 2.x. See http://www.gtk.org. The official supported version is at least 2.24.x. |