diff options
| author | Emilio Jesus Gallego Arias | 2019-09-19 11:25:34 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-09-19 15:27:43 +0200 |
| commit | f050253ac1e5507f3d3bf52f94c7a23ba2775d00 (patch) | |
| tree | 9d974581c72ed0afc8151e0eeaeb132ec8175eda /INSTALL | |
| parent | 8562093a2337643164670d59d397771b1c881e5b (diff) | |
[ci] Update supported OCaml version to 4.09.0
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ WHAT DO YOU NEED ? - OCaml (version >= 4.05.0) (available at https://ocaml.org/) - (This version of Coq has been tested up to OCaml 4.08.1) + (This version of Coq has been tested up to OCaml 4.09.0) - The Num package, which used to be part of the OCaml standard library, if you are using an OCaml version >= 4.06.0 |