From 1c8c22fc6330f62009acb4f4607bf516f2d0b987 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 1 Feb 2019 20:58:24 -0600
Subject: [PATCH] chore: faster recompilation on travis

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

diff --git a/.travis.yml b/.travis.yml
index e2eaff5f..f649a2f3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,7 @@ env:
   - DISTRO="ubuntu-16.04"
   matrix:
   #- PACKAGE="sidekick" OCAML_VERSION="4.02.3"
-  - PACKAGE="sidekick" OCAML_VERSION="4.03.0"
-  - PACKAGE="sidekick" OCAML_VERSION="4.04.2"
-  - PACKAGE="sidekick" OCAML_VERSION="4.05.0"
-  - PACKAGE="sidekick" OCAML_VERSION="4.06.0"
+  - PACKAGE="sidekick" OCAML_VERSION="4.03"
+  - PACKAGE="sidekick" OCAML_VERSION="4.04"
+  - PACKAGE="sidekick" OCAML_VERSION="4.05"
+  - PACKAGE="sidekick" OCAML_VERSION="4.06"