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"