diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-02 13:16:45 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-01-04 10:36:42 +0100 |
commit | f8b45835f78da16ecc89c0b85ed9fbe92ab4a764 (patch) | |
tree | be25917f0f38f9cace1a37400bf71500532c2c17 /.travis.yml | |
parent | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (diff) |
Update the lower-bound of the lablgtk dependency.
Closes #6509.
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" |