From 239cff7445ad231c2c3719ba066909dbeea7bcb4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 5 Nov 2019 17:12:11 -0600
Subject: [PATCH] chore: update travis

---
 .travis.yml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 3892926c..08b6b9bc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,14 +5,14 @@ services:
 - docker
 env:
   global:
-  - PINS="sidekick:."
+  - PINS="sidekick:. sidekick-bin:. smtlib-utils:https://github.com/c-cube/smtlib-utils.git"
   - DISTRO="ubuntu-16.04"
-  - PACKAGE="sidekick"
   matrix:
   #- PACKAGE="sidekick" OCAML_VERSION="4.02.3"
-  - OCAML_VERSION="4.03"
-  - OCAML_VERSION="4.04"
-  - OCAML_VERSION="4.05"
-  - OCAML_VERSION="4.06"
-  - OCAML_VERSION="4.08"
-  - OCAML_VERSION="4.09"
+  - PACKAGE="sidekick" CAML_VERSION="4.03"
+  - PACKAGE="sidekick" CAML_VERSION="4.04"
+  - PACKAGE="sidekick" CAML_VERSION="4.05"
+  - PACKAGE="sidekick" CAML_VERSION="4.06"
+  - PACKAGE="sidekick" CAML_VERSION="4.08"
+  - PACKAGE="sidekick" CAML_VERSION="4.09"
+  - PACKAGE="sidekick-bin" CAML_VERSION="4.06"