diff --git a/.travis.yml b/.travis.yml index c94e381..797c578 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,11 +5,11 @@ services: - docker env: global: - - PINS="sequence:." + - PINS="iter:." - DISTRO="ubuntu-16.04" matrix: - - PACKAGE="sequence" OCAML_VERSION="4.02.3" DEPOPTS="base-bigarray" - - PACKAGE="sequence" OCAML_VERSION="4.03.0" DEPOPTS="base-bigarray" - - PACKAGE="sequence" OCAML_VERSION="4.04.2" DEPOPTS="base-bigarray" - - PACKAGE="sequence" OCAML_VERSION="4.05.0" DEPOPTS="base-bigarray" - - PACKAGE="sequence" OCAML_VERSION="4.06.0" DEPOPTS="base-bigarray" + - PACKAGE="iter" OCAML_VERSION="4.02.3" EXTRA_DEPS="base-bigarray" + - PACKAGE="iter" OCAML_VERSION="4.03.0" EXTRA_DEPS="base-bigarray" + - PACKAGE="iter" OCAML_VERSION="4.04.2" EXTRA_DEPS="base-bigarray" + - PACKAGE="iter" OCAML_VERSION="4.05.0" EXTRA_DEPS="base-bigarray" + - PACKAGE="iter" OCAML_VERSION="4.06.0" EXTRA_DEPS="base-bigarray"