diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-11 13:38:37 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-11 13:38:37 +0200 |
commit | ec741e8bb1bdf69f0be4bb6b594560af57f8811c (patch) | |
tree | 02e713881b285ba13157b0bbc1310daa0a23dd5c /INSTALL.ide | |
parent | 034b70449c094b1b5b022a0596d7639a3b08ca39 (diff) |
[build] Fix checks and notes noting 4.02.1 instead of 4.02.3
Bumping to 4.02.3 was decided some time ago in the WG, however a
couple of places escaped updating.
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. |