roboptim/roboptim-core — pull request #49 by bchretien (2013-12-13 17:36:37+00:00)
Title: Fix coverity download + remove useless dependency.

This should solve the error on Travis.