tree 3e074070909706edb823811c84ceafa2d1ba9250
parent f32ca897c52abdf86694e1cd325ecb5b1fbdcf2b
author Davide Pesavento <davide.pesavento@lip6.fr> 1498008596 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1498008596 -0400

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

Change-Id: I8bb4ddb5dbb335bf4f9ea925fe87bd7739adcb9d