tree f70c3c18c84a9bcdf7448fdac0e48280c24fc038
parent 6a81b77260df05b43b28f572b0b52d35842f6305
author Davide Pesavento <davide.pesavento@lip6.fr> 1503274873 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503781560 -0400

ci: speed up Travis-CI osx jobs by upgrading only the packages we need

Synchronize the rest of the file with NFD.

Change-Id: If2f5fba0eb614a881b51396b15a5a30e7939f728