diff options
| author | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
| commit | b6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (patch) | |
| tree | 965d8872e7ddd3848c9e6f50d2efa4683803dd6c /INSTALL | |
| parent | 397fa7d34e100213855df7f3aa05ce4d497724e1 (diff) | |
| parent | 58a20d7268608a701a4cd8f51baaa7ba42d23f82 (diff) | |
Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
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 |