tree cfe2670b0a7b4bdbfe72af95521599a40a9b5eea
parent dd0e1959bbc89a60fc225217968f4ffac7add707
author Davide Pesavento <davide.pesavento@lip6.fr> 1498329042 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1498329042 -0400

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

Change-Id: I624f06b456357235648ff75f5158e6d694be2cb3