diff options
| author | Maxime Dénès | 2017-01-09 14:38:42 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-01-09 14:47:06 +0100 |
| commit | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (patch) | |
| tree | 43aacd4d485e5ae5cf8ab3d8059d7ea86d3d4c2b /dev | |
| parent | d7f8b955625b6e5d88e6e78ca133e91b35fca09e (diff) | |
Relax required OCaml to 4.02.1.
We did not decide precisely what minor version we would support, so
relaxing. We document why 4.02.0 is not supported (its use is also
discouraged by the OCaml team, see e.g. https://ocaml.org/releases/).
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions