diff options
| author | Emilio Jesus Gallego Arias | 2019-08-09 03:54:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-08-27 19:12:58 +0200 |
| commit | c053787e4bdfc28711b0c92416ff3afdca4aecf5 (patch) | |
| tree | 2942512ccd6a9ff83eee3c5af3c51fb724a48c28 /INSTALL | |
| parent | 07078458b164ba54decd6c6e9bd059d1d1b6ec8f (diff) | |
[ci] Update to OCaml 4.08.1
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.0) + (This version of Coq has been tested up to OCaml 4.08.1) - The Num package, which used to be part of the OCaml standard library, if you are using an OCaml version >= 4.06.0 |