Ignore installation failure during call to brew.
Ignore installation failure during call to brew.

Note that all the packages that we request are correctly installed and
the observed failure is independent (related to ruby which is not a
direct nor indirect dependency, only a dependency of brew itself).

The generated CoqIDE package has been tested and works correctly (with
no missing icon).

SkySkimmer/coq,coq/coq,coq/coq,JasonGross/coq,SkySkimmer/coq,gares/coq,ejgallego/coq,ejgallego/coq,JasonGross/coq,ejgallego/coq,silene/coq,JasonGross/coq,gares/coq,silene/coq,coq/coq,silene/coq,gares/coq,SkySkimmer/coq,JasonGross/coq,Zimmi48/coq,coq/coq,Zimmi48/coq,gares/coq,gares/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq