From f8b45835f78da16ecc89c0b85ed9fbe92ab4a764 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 2 Jan 2018 13:16:45 +0100
Subject: Update the lower-bound of the lablgtk dependency.

Closes #6509.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.travis.yml')

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"
-- 
cgit v1.2.3