Thanks for the suggestion. In fact if I issue: brew install ARMmbed/homebrew-formulae/arm-none-eabi-gcc Login to my github account get requests on the cli (!?). But if I do a: brew tap ARMmbed/homebrew-formulae/ brew install arm-none-eabi-gcc Any idea about what may be going on ? Best, Daniel