diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-09 19:18:33 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-09 19:18:33 +0200 |
commit | 9c56ba489abea0e1bfdebc5da9a77ba217de72fa (patch) | |
tree | d08d0cd966f2c3d10eddb628af5640b594e1fa18 /.travis.yml | |
parent | 372737ba74baa2af8ee798df1b2768a5d827a179 (diff) |
[travis] Fix version of camlp5 for OCaml 4.06.1.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index eeb0b800e..bd2be1ff7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -41,7 +41,7 @@ env: - COMPILER="system" - COMPILER_BE="4.06.1" - CAMLP5_VER=".6.14" - - CAMLP5_VER_BE=".7.03" + - CAMLP5_VER_BE=".7.05" - FINDLIB_VER=".1.4.1" - FINDLIB_VER_BE=".1.8.0" - LABLGTK="lablgtk.2.18.3 lablgtk-extras.1.6" |