diff options
| author | Emilio Jesus Gallego Arias | 2017-03-21 15:08:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-04-24 05:34:56 +0200 |
| commit | 6d2712cc7403ab05afb0f95b1a7d44c6e2acc518 (patch) | |
| tree | d5cd629ec31d78ae7195683e8b9eedce2a3e0282 /plugins/syntax/string_syntax_plugin.mlpack | |
| parent | c86c6558fcf7f8dc4a17aceed24f68f756f28ea9 (diff) | |
[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3
We now test:
- 4.02.3 + 6.14 [and 32bits of those]
- 4.04.0 + 6.17
this looks like what the official support set should be for 8.7, given
that both Ubuntu and Debian will ship the first, then switch to the
latter.
We also pin xmlm to version 1.2.0 to workaround bug
https://github.com/ocaml/opam-repository/issues/8815
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions