diff options
| author | coqbot-app[bot] | 2020-09-22 11:14:46 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-22 11:14:46 +0000 |
| commit | 5a9538ed71cdcbbed6f8422b66070f0a987b5f59 (patch) | |
| tree | a164dccf8307489d2505dc98ee2439da2bf4cd0e /INSTALL.md | |
| parent | 16813b57cee24ffd46e4d3d50efa63d6c61fd9e6 (diff) | |
| parent | febcda97deaadb9a68f75949a775cfd88e7d04f0 (diff) | |
Merge PR #13049: [configure] Fix version checks for lablgtk and zarith
Reviewed-by: SkySkimmer
Reviewed-by: vbgl
Ack-by: Zimmi48
Ack-by: JasonGross
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 51d59e1638..f672bb45d3 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -29,7 +29,7 @@ To compile Coq yourself, you need: - for CoqIDE, the [lablgtk3-sourceview3](https://github.com/garrigue/lablgtk) library - (version >= 3.0.beta8), and the corresponding GTK 3.x libraries, as + (version >= 3.1.0), and the corresponding GTK 3.x libraries, as of today (gtk+3 >= 3.18 and gtksourceview3 >= 3.18) Primitive floating-point numbers require IEEE-754 compliance |