The failures in Travis on OPAM pulls is due to a bug on their side that they're working on fixing: https://github.com/travis-ci/travis-ci/issues/1727 -anil