diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-01-08 12:46:30 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-01-08 12:46:30 +0100 |
commit | adfeb49f732dff68808af308484ce2e5e9bd7160 (patch) | |
tree | 55aabb5cdd4dd270deda47c087c619a0fce31ebb /.travis.yml | |
parent | 47f47713e551f8de18cf2d847f47c1f55b016c8b (diff) | |
parent | f8b45835f78da16ecc89c0b85ed9fbe92ab4a764 (diff) |
Merge PR #6533: Update the lower-bound of the lablgtk dependency.
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 0bc43c110..8f1f1e699 100644 --- a/.travis.yml +++ b/.travis.yml @@ -35,7 +35,7 @@ env: - CAMLP5_VER_BE="7.03" - FINDLIB_VER="1.4.1" - FINDLIB_VER_BE="1.7.3" - - LABLGTK="lablgtk.2.16.0 lablgtk-extras.1.5" + - LABLGTK="lablgtk.2.18.3 lablgtk-extras.1.6" - LABLGTK_BE="lablgtk.2.18.6 lablgtk-extras.1.6" - NATIVE_COMP="yes" - COQ_DEST="-local" |